Математическое описание может быть аналитическим, графическим, табличным.

Для получения уравнения системы составляются уравнения всех входящих в нее элементов. Математическая модель системы в зависимости от цели исследования может быть разной. Обычно начинают исследование с более простой модели, заканчивают - более сложной.

При разработке математической модели или ее элементов учитывают два режима работы: 1) установившийся (статический); 2) переходный (переходный).

Уравнения статики - алгебраические, динамики - дифференциальные.

Первым шагом в составлении динамического уравнения САР - выявление физического закона. Его математическим выражением является исходное дифференциальное уравнение.

Второй шаг - определение факторов, от которых зависят переменные, входящие в исходные уравнения, установление выражений, характеризующих, эту зависимость.

Уравнения статики получают из уравнений динамики при t → ∞.

Математическая модель, которая отображает лишь динамические свойства, а не физическую сущность, называют динамическим звеном.

Предположим, что мы имеем дискретный канал вероятность возникновения ошибки, в котором близка к нулю (в идеале = 0). Такой канал называют идеальным каналом или каналом без шума. При наличии идеального канала естественно поставить вопрос о возможности передаче по нему без потерь информации от произвольного дискретного источника U характеризуемого производительностью H'(U) со скоростью равной пропускной способности канала. Схема построения такой системы передачи информации должна выглядеть, так как на рисунке 2.1. Необходимость включения устройства кодер, а так же декодера, выполняющего обратные ему операции. Состав этой системы обусловлен следующими обстоятельствами. Как говорилось в пункте 1.6. для того чтобы скорость передачи информации в канале была равна его пропускной способности, на входе канала должен действовать дискретный источник с определенными статистическими свойствами, максимизирующими величину I(Z,Z*). В частности, в интересующем нас здесь случае идеального канала без помех такой источник должен просто обладать максимальной энтропией или нулевой избыточностью, т.е. выдавать независимые равновероятные сообщения. В то же время своей постановки задачи мы пожелали иметь возможность передавать сообщения от произвольного источника с любыми статистическими свойствами, т.е. имеющего ненулевую избыточность. Таким образом функции кодера являются согласованием в статическом смысле сообщений источника со входом канала. Задача этого согласования в конечном итоге сводится к устранению избыточности сообщений. Кодер осуществляет кодирование сообщений, т.е. каждому дискретному сообщению по определенному правилу ставят в соответствие последовательность символов из алфавита объемом М. При этом по отношению к входу каналом выдаваемые кодером символы сами являются дискретными элементами сообщений, статические свойства которых должны отличаться от статических свойств сообщений исходного источника. Возможность построения кодера полностью устраняющего избыточность произвольного исходного источника сообщений и определяет возможность решения поставленной задачи без ошибочной передачи информации со скоростью, равной пропускной способности канала. При полном ее решении оказывается справедливым равенство

Hв(U) = uC ЧH(U) = uK Чlog M = C (2.1),

откуда имеем h = uK / uC = H(U) / log M (2.1а),

где H(U) - энтропия источника передаваемых сообщений, uK и u C - средние количества символов соответственно сообщения и кода передаваемых в единицу времени.

h = uK/ uC - среднее количество символов кода приходящиеся на одно сообщение.

Степень приближения к точному выполнению равенств (2.1) и (2.1а) зависит от степени уменьшения избыточности источника сообщений.

Кодирование позволяющее устранять избыточность источников сообщений называется эффективным или статистическим. Коды, получаемые в результате такого кодирования, называются эффективными или статистическими. Рассмотрим основные идеи, которые могут быть положены в основу эффективного кодирования. Как отмечалось в пункте 1.4. избыточность дискретных источников обуславливается двумя причинами: 1) памятью источника; 2) неравномерностью сообщений.

Универсальным способом уменьшения избыточности обусловленной памятью источника является укрупнение элементарных сообщений. При этом кодирование осуществляется длинными блоками. Вероятностные связи между блоками меньше чем между отдельными элементами сообщений и чем длиннее блоки, тем меньше зависит между ними. Уменьшение избыточности обусловленной неравномерностью сообщений может быть достигнута применением неравномерных кодов. Основная идея построения таких кодов состоит в том, что наиболее вероятным сообщениям ставятся в соответствие наиболее короткие блоки кодовых символов (кодовые комбинации), а наименее вероятным более длинные. В силу неравномерности таких кодов и случайного характера сообщения U передача без потерь информации с постоянной скоростью следования кодовых символов uK может быть обеспечено лишь при наличии буферного накопителя с большой памятью, и, следовательно, при допустимости больших задержек.

В структурном подходе система проектируется в виде модели, используются в основном 2 группы средств, которые: описывают функциональную структуру системы; отображают отношения между данными.

Каждой группе средств соответствует определенные виды моделей (диаграмм), наиболее распространенные: SADT - диаграммы анализа структуры и проектирования; DFD - диаграммы потоков данных; ERD - диаграммы «сущность - связь».

Конкретный вид перечисленных диаграмм и интерпретация их конструкций зависят от стадии ЖЦ ПО.

На стадии формирования требований используются SADT-диаграммы для построения модели «AS-IS» и «TO-BE». На данной стадии могут быть разработаны модели DFD и ERD-диаграмм.

На стадии проектирования производится более детальная обработка DFD и ERD - диаграмм. Производится детализация SADT-диаграмм и разрабатываются на ее основе другие диаграммы.

Большинство существующих методов объектно-ориентированного анализа и проектирования (ООАП) включают как язык моделирования, так и описание процесса моделирования.

Одним из унифицированных языков моделирования является язык UML (графический язык моделирования). Унифицированный язык UML - это прямое объединение и унификация методов Буча, Рамбо и Якобсона, плюс ко всему он дополняет их новыми возможностями.

Концептуальная модель UML включает в себя три составные части: 1) основные строительные блоки языка: сущности; отношения; диаграммы; 2) правила их сочетания; 3) некоторые общие для всего языка механизмы.

Сущности - это абстракции, являющиеся основными элементами модели. Сущности являются основными объектно-ориентированными блоками языка. С их помощью можно создавать корректные модели.

В UML имеется четыре типа сущностей:

Структурные сущности - статические части модели, соответствующие концептуальным или физическим элементам системы. Существует семь разновидностей структурных сущностей:

Класс - это описание совокупности объектов с общими атрибутами, операциями, отношениями и семантикой. Класс реализует один или несколько интерфейсов. Графическое изображение класса представлено на рис. 26:

Рис. 26. Графическое изображение класса

Интерфейс - это совокупность операций, которые определяют сервис (набор услуг), предоставляемый классом или компонентом. Таким образом, интерфейс описывает видимое извне поведение элемента. Интерфейс может представлять поведение класса или компонента полностью или частично; он определяет только спецификации операций (сигнатуры), но никогда - их реализации. Интерфейс редко существует сам по себе - обычно он присоединяется к реализующему его классу или компоненту. Графическое изображение интерфейса (круг, внутри имя интерфейса)

Кооперация определяет взаимодействие; она представляет собой совокупность ролей и других элементов, которые, работая совместно, производят некоторый кооперативный эффект, не сводящийся к простой сумме слагаемых. Кооперация имеет как структурный, так и поведенческий аспект. Один и тот же класс может принимать участие в нескольких кооперациях; таким образом, они являются реализацией образцов поведения, формирующих систему. Графическое изображение кооперации (овал пунктиром, внутри имя коперации)

Прецедент - это описание последовательности выполняемых системой действий, которая производит наблюдаемый результат, значимый для какого-то определенного актера. Прецеденты применяются для структурирования поведенческих сущностей модели и реализуются посредством кооперации. Графическое изображение прецедента - овал с именем прецедента. Прецедент всегда рассматривается по отношению к некоторой внешней сущности, которая называется актером.

Актер или внешняя сущность - это класс, точнее совокупность ролей классов выступающая по отношению к системе как внешний объект, для достижения целей которого функционирует система. Графически в виде человечка.

Активный класс - класс, объекты которого вовлечены в один или несколько процессов, или нитей, и поэтому могут инициировать управляющее воздействие. Его объекты представляют собой элементы, деятельность которых осуществляется одновременно с деятельностью других элементов. Графическое изображение активного класса представлено на рис. 31:

Рис. 31. Графическое изображение активного класса

Компонент - это физическая заменяемая часть системы, которая соответствует некоторому набору интерфейсов и обеспечивает его реализацию. Компонент представляет собой физическую упаковку логических элементов, таких как классы, интерфейсы и кооперации. Графическое изображение компонента представлено на рис. 32:

Рис. 32. Графическое изображение компонента

Узел - это элемент реальной (физической) системы, который существует во время функционирования программного комплекса и представляет собой вычислительный ресурс, обычно обладающий как минимум некоторым объемом памяти, а часто еще и способностью обработки. Совокупность компонентов может размещаться в узле, а также мигрировать с одного узла на другой. Графическое изображение узла представлено на рис. 33:

Рис. 33. Графическое изображение узла

Поведенческие сущности являются динамическими составляющими модели UML. Это глаголы языка: они описывают поведение модели во времени и пространстве. Существует всего два основных типа поведенческих сущностей.

Взаимодействие - это поведение, суть которого заключается в обмене сообщениями между объектами в рамках конкретного контекста для достижения определенной цели. С помощью взаимодействия можно описать как отдельную операцию, так и поведение совокупности объектов. Взаимодействие предполагает ряд других элементов, таких как сообщения, последовательности действий (поведение, инициированное сообщением) и связи (между объектами). Графическое изображение сообщения - стрелка на которой написано имя взаимодействия

Автомат - это алгоритм поведения, определяющий последовательность состояний, через которые объект или взаимодействие проходят на протяжении своего жизненного цикла в ответ на различные события, а также реакции на эти события. С помощью автомата можно описать поведение отдельного класса или кооперации классов. С автоматом связан ряд других элементов: состояния, переходы (из одного состояния в другое), события (сущности, инициирующие переходы) и виды действий (реакция на переход). Графическое изображение состояния представлено на рис. 35:

Рис. 35. Графическое изображение состояния

Группирующие сущности являются организующими частями модели UML. Это блоки, на которые можно разложить модель. Есть только одна первичная группирующая сущность - пакет.

Пакеты - представляют собой универсальный механизм организации элементов в группы. В пакет можно поместить структурные, поведенческие и даже другие группирующие сущности. В отличие от компонентов, существующих во время работы программы, пакеты носят чисто концептуальный характер, то есть существуют только во время разработки. Графическое изображение пакета представлено на рис. 36:

Рис. 36. Графическое изображение пакета

Аннотационные сущности - пояснительные части модели UML. Это комментарии для дополнительного описания, разъяснения или замечания к любому элементу модели. Имеется только один базовый тип аннотационных элементов - примечание. Примечания используются, чтобы снабдить диаграммы комментариями или ограничениями, которые можно выразить в виде неформального или формального текста. Графическое изображение примечания представлено на рис. 37:

Рис. 37. Графическое изображение примечания

Существуют вариации этого элемента, например требования, где описывают некое желательное поведение с точки зрения внешней по отношению к модели.

В языке UML определены четыре типа отношений. Эти отношения являются основными связующими строительными блоками в UML и применяются для создания корректных моделей.

Отношения:

Зависимость - это семантическое отношение между двумя сущностями, при котором изменение одной из них, независимой, может повлиять на семантику другой, зависимой. Графическое изображение зависимости представлено на рис. 38:

Рис. 38. Графическое изображение зависимости

Ассоциация - структурное отношение, описывающее совокупность связей. Графическое изображение ассоциации представлено на рис. 39:

Рис. 39. Графическое изображение ассоциации

Обобщение - это отношение «специализация/обобщение», при котором объект специализированного элемента (потомок) может быть подставлен вместо объекта обобщенного элемента (родителя или предка). Потомок наследует структуру и поведение своего родителя. Графическое изображение ассоциации представлено на рис. 40:

Рис. 40. Графическое изображение обобщения

Реализация - это семантическое отношение между классификаторами, при котором один классификатор определяет «контракт», а другой гарантирует его выполнение. Отношения реализации встречаются в двух случаях: во-первых, между интерфейсами и реализующими их классами или компонентами, а во-вторых, между прецедентами и реализующими их кооперациями. Графическое изображение ассоциации представлено на рис. 41:

Рис. 41. Графическое изображение реализации

Диаграмма в UML - это графическое представление набора элементов, изображаемое чаще всего в виде связанного графа с вершинами (сущностями) и ребрами (отношениями).

В UML выделяют девять типов диаграмм: 1. диаграммы классов; 2. диаграммы объектов; 3. диаграммы прецедентов; 4. диаграммы последовательностей; 5. диаграммы кооперации; 6. диаграммы состояний; 7. диаграммы действий; 8. диаграммы компонентов; 9. диаграммы развертывания.

Строительные блоки UML нельзя произвольно объединять друг с другом. Как и любой другой язык, UML характеризуется набором правил, определяющих, как должна выглядеть хорошо оформленная модель, т.е. семантически самосогласованная и находящаяся в гармонии со всеми моделями, которые с нею связаны.