2.2. Отношения модели uml.

В UML используются четыре основных типа отношений:

• зависимость (dependency);

• ассоциация (association);

• обобщение (generalization);

• реализация (realization).

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

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

Рис. 3. Отношение зависимости.

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

Рис. 4. Отношение ассоциации. Рис. 5. Агрегирование.

Графически ассоциация изображается в виде сплошной линии с различными дополнениями, соединяющей связанные сущности (рис. 4). Пометка единица (1) на левом конце линии ассоциации означает, что в двунаправленном отношении, наряду с многими работниками участвует один работодатель. Единица и звездочка на правом конце линии означает "единица или больше" (1..*). Если один конец линии ассоциации помечен единицей (1), то пометка на другом конце линий называется кратностью ассоциации. Кратность правого конца ассоциации, равна единице или больше. На линии ассоциации можно также задать кратность равную единице (1), можно указать диапазон кратности: ноль или единица (0..1), много (0..*). Разрешается также указывать кратность определенным числом (например 5). С помощью списков можно задавать и более сложные кратности. Например, список 0..1, 3..4, 6..* означает "любое число объектов кроме 2 и 5".Частным случаем ассоциации является отношение типа "часть/целое". Отношение такого типа называется агрегированием. В языке UML оно причислено к отношениям вида "имеет". Агрегирование изображается в виде ассоциации с незакрашенным ромбом со стороны целого (рис. 5).

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

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

Рис. 6. Отношение обобщения. Рис. 7. Отношение реализации.

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

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

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

2.3. Диаграммы модели uml.

Диаграммы UML есть та основная накладываемая на модель структура, которая облегчает создание и использование модели.

Диаграмма (diagram) – это графическое представление некоторой части графа модели.

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

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

В UML 1 всего определено 9 канонических типов диаграмм:

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

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

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

• диаграмма состояний;

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

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

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

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

• диаграмма размещения.

В UML 2 внесены значительные коррективы как в список канонических диаграмм, а именно их число увеличилось до 13, так и в список доступных конструкций языка, что значительно расширило область его применения. Кроме этого две диаграммы были переименованы: диаграмма кооперации была переименована в диаграмму коммуникации, а диаграмма состояний в диаграмму автомата.

Список новых диаграмм в UML 2: диаграмма внутренней структуры; диаграмма пакетов; диаграмма автомата; диаграмма коммуникации; обзорная диаграмма взаимодействия; диаграмма синхронизации.

Все диаграммы UML можно условно разбить на две группы: общие диаграммы и специальные диаграммы.

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

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

• диаграмма объектов – является экземпляром диаграммы классов;

• диаграмма внутренней структуры – используется для более подробного представления структурных классификаторов, прежде всего классов и компонентов;

• обзорная диаграмма взаимодействия – является разновидностью диаграммы деятельности с расширенным синтаксисом;

• диаграмма синхронизации – представляет собой особую форму диаграммы последовательности, на которой особое внимание уделяется изменению состояний различных экземпляров классификаторов и их временной синхронизации;

• диаграмма пакетов – единственное средство, позволяющее управлять сложностью самой модели.