Диаграмма состояний

Этот перечень канонический, он - неотъемлемая графическая часть UML.

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

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

Рис. 4.2.10. Интегрированная модель системы средствами UML.

Раньше рассматривалась еще диаграмма объектов. Однако в версии UML 1.3 она исключена из канонических диаграмм, ибо ее элементы могут присутствовать на других диаграммах.

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

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

Помеченное значение (tagged value) — явное определение свойства как пары "имя – значение". В помеченном значении само имя называют тегом (tag). На диаграммах они изображаются строкой текста специального формата в фигурных скобках. В формате записи: {тег = значение} используют теги из нотации UML, но их определение не строгое, поэтому теги могут быть указаны самим разработчиком.

Ограничение (constraint) - логическое условие, ограничивающее семантику выбранного элемента модели. Как правило, ограничения специфицируются разработчиком. На диаграммах они изображаются строкой текста в фигурных скобках. Для формальной записи ограничений предназначен язык объектных ограничений (Object Constraint Language, OCL) - составная часть UML.