Основные отношения UML

TL;DR

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

Ассоциация

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

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

Обобщение

Обобщение связывает более специальный элемент с более общим. Если Преподаватель специализирует Пользователь, экземпляр преподавателя также является экземпляром пользователя. Связь уместна, когда фразу можно прочитать как «является видом».

Обобщение не подходит для отношений «содержит», «использует», «оформляет» или «работает с». В этих случаях чаще нужна ассоциация, зависимость или описание поведения.

Зависимость и реализация

Зависимость показывает, что изменение поставщика может повлиять на клиента. Это общий вид отношения: «use» обозначает использование, «call» — вызов, «trace» — трассировку, «manifest» — связь элемента с физическим представлением, а «deploy» — размещение на вычислительном ресурсе.

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

Проверка

Перед проведением стрелки сформулируйте её смысл полным предложением. Если предложение не получается, отношение пока выбрано слишком рано или элементам не хватает контекста.

Ограничения и примечания

Ограничение (constraint) утверждает правило модели: например, {количество позиций >= 1}. Его можно написать естественным языком или формальным выражением, например на OCL. Примечание поясняет элемент, но само по себе не обязательно является правилом. Стереотип добавляет элементу уточняющую категорию или роль, не заменяя его базовый смысл.

В модели

Смысл отношений появляется после определения предметных объектов, бизнес-правил и архитектурных решений. Дальше в этом разделе отношения будут встречаться в контексте конкретных диаграмм.