9.5. Uml

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

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

Все UML-модели имеют два основных аспекта -семантикуинотацию.

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

Нотация- это визуальное представление семантики модели. Визуальное представление дает возможность работать с моделью, просматривать и редактировать её.

UML-модели имеют статическое и динамическое представление.

Статическое представление модели - это структура её объектов. В объектно-ориентированных системах объект объединяет в себе структуру данных и элементы поведения (методы). Таким образом, статическое представление описывает сущности, обладающие методами поведения, в виде отдельных элементов модели.

Динамическаясоставляющая модели - это представление взаимодействия сущностей.

Основные элементы статического представления - классификаторыи ихотношения.

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

Все классификаторы, кроме присущих им функций, имеют свое обозначение - нотацию.

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

Ассоциация описывает семантические связи между единичными объектами определенных классов. Основная задача ассоциации состоит в обеспечении взаимодействия объектов, принадлежащих разным классам.

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

Отношение реализациисвязывает спецификацию и её воплощение в программном коде.

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

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

Ряд составляющих UML-модели представляют определенную информацию в виде текста. Среди такой информации с помощью фигурных скобок особо выделяютсяограничения, накладываемые на модель.