33.Канонические диаграммы языка uml: их виды и типы, рекомендации построения

В языке UML все представления о модели сложной системы фиксируются виде специальных графических конструкций – диаграмм. В терминах языка UML определены следующие типы диаграмм:

• диаграммы структуры;

• диаграммы поведения;

• диаграммы взаимодействия (являются подмножеством диаграмм поведения).

Диаграммы структуры (или структурные диаграммы) предназначены для представления статической структуры элементов в модели системы. На них изображаются те элементы модели и отношения, которые не зависят от времени.

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

В каждой из перечисленных групп диаграмм содержится набор канонических диаграмм.

К структурным диаграммам относят:

• диаграмма классов;

• диаграмма композитной структуры;

• диаграмма пакетов;

• диаграмма объектов

• диаграмма компонентов;

• диаграмма развертывания

К диаграммам поведения относят:

• диаграмма вариантов использования;

• диаграмма деятельности;

• диаграмма конечного автомата.

К диаграммам взаимодействия относят:

• диаграмма последовательности;

• диаграмма коммуникации;

• диаграмма обзора взаимодействия;

• временная диаграмма.

В общем случае при построении диаграмм на языке UML необходимо придерживаться следующих основных рекомендаций и требований:

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

2. Все сущности на диаграмме модели должны быть одного концептуального уровня.

3. Вся информация о сущностях должна быть явно представлена на диаграммах.

4. Диаграммы не должны содержать противоречивой информации.

5. Диаграммы не следует перегружать текстовой информацией.

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

7. Количество диаграмм различных типов для модели конкретного приложения не является строго фиксированным.

8. Любая из моделей системы должна содержать только те элементы, которые определены в нотации языка UML.

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

34.Механизмы расширения uml: виды, примеры использования

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

• уточнения или спецификации общих элементов метамодели;

• определения таких расширений языка UML, которые зависят от специфики моделируемого процесса или от языка реализации программного кода;

• присоединения произвольной семантической или несемантической информации к элементам модели.

В языке UML реализованы три механизма расширения: стереотип, ограничение и помеченное значение.

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

• в форме текста, заключенного в двойные угловые кавычки (знаки «меньше» и «больше») и размещенного выше или перед именем элемента модели;

• в форме графической пиктограммы, которая заменяет текст имени соответствующего стереотипа;

• в форме прямоугольника класса с уменьшенной пиктограммой стереотипа внутри этого прямоугольника, расположенной, как правило, в верхнем правом углу.

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

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

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

Помеченное значение – явное определение некоторого свойства объекта в форме пары «имя = значение». В помеченном значении имя также называется тегом. Отдельные теги предопределены в языке UML, другие могут быть определены самим разработчиком. Помеченное значение в языке UML представляется только в форме текста, заключенного в фигурные скобки и размещенного ниже или после имени элемента модели. Помеченное значение также может быть изображено в форме примечания, присоединенного к соответствующему элементу модели.