Моделирование реализации вариантов использования Диаграммы взаимодействия

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



На диаграмме кооперации поведение системы описывается

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

вариантов использования или наиболее значимых операций в системе.

Кооперация может

быть представлена на двух уровнях:
- на уровне спецификации
- на уровне примеров


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

Диаграмма кооперации уровня примеров (instances) визуализирует объекты (экземпляры классов), связи (экземпляры ассоциаций) и сообщения. При этом связи дополняются стрелками сообщений.

реализации модели (выполнения программы).

Он может иметь свое собственное имя

и конкретные значения атрибутов.



Полное имя объекта:
<собственное имя объекта>’/’<Имя роли классификатора>:< Имя классификатора >

с собственным именем о, образуемый на основе класса С;

: С

— анонимный объект, образуемый на основе класса С;

о : (или просто о) — объект-сирота с собственным именем о;

о / R : С — объект с собственным именем о, образуемый на основе класса С и играющий роль R;

/ R : С — анонимный объект, образуемый на основе класса С и играющий роль R;

о / R — объект-сирота с собственным именем о, играющий роль R;

/ R — анонимный объект и одновременно объект-сирота, играющий роль R.

на основе одного класса;
- используется для того, чтобы показать операции

и сигналы, которые адресованы всему множеству объектов, а не только отдельному объекту;
- изображается двумя прямоугольниками (один выступает из-за другого), при этом стрелка взаимосвязи относится ко всему множеству объектов.

деятельность по управлению другими объектами.

Активный объект имеет свой собственный поток

управления, может инициировать деятельность по управлению другими объектами.

представления объекта, имеющего собственную структуру и внутренние потоки управления.
Составной объект

является экземпляром класса-композита, который связан отношением композиции со своими частями.

поэтому этот стереотип может не указываться;

«parameter» - параметр операции или

метода. Соответствующий объект может быть только параметром некоторой операции;

«local» - локальная переменная. Ее область видимости ограничена только соседним объектом;

«global» - глобальная переменная. Ее область видимости распространяется на все объекты диаграммы;

«self» - рефлексивная связь объекта с самим собой, которая допускает передачу объектом сообщения самому себе. На диаграмме изображается петлей.

Виды стереотипов:

другому некоторую информацию.
При этом первый объект предполагает, что после получения

сообщения вторым объектом последует выполнение некоторого действия.

или ее подсистемы при реализации всех вариантов использования.
При этом изменение

состояний отдельных элементов системы может быть вызвано внешними воздействиями со стороны других элементов или извне системы.

Т.о. для описания реакции системы на подобные внешние воздействия и используются диаграммы состояний.

раскрывает содержательный смысл данного состояния.
Имя должно представлять собой законченное предложение

и всегда записываться с заглавной буквы.

и имеет следующий формат:


entry –

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

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

do – специфицирует некоторую деятельность (do activity), которая выполняется в течение всего времени, пока объект находится в данном состоянии, или до тех пор пока не будет выполнено условие ее окончания, специфицированное в соответствующей операции класса или вычислительной процедуре. В последнем случае при завершении деятельности генерируется соответствующее событие.

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

состояния, которое не содержит никаких внутренних действий и поэтому относится

к категории псевдосостояния. В этом состоянии находится объект по умолчанию в начальный момент.

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

состояниями, которое указывает на факт смены одного состояния другим.
Переход

осуществляется при наступлении некоторого события: окончания выполнения деятельности (do activity), получении объектом сообщения или приемом сигнала.

Срабатывание перехода может зависеть не только от наступления некоторого события, но и от выполнения определенного условия, называемого сторожевым условием.

Каждый переход может быть помечен строкой текста, которая имеет следующий общий формат:
<сигнатура события>'['< сторожевое условие>']'/< выражение действия>

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

события в форме строки текста; в качестве имен триггерных переходов задают имена операций, вызываемых у тех или иных объектов системы.
Переход называется нетриггерным, если он происходит по завершении вы­полнения действий (деятельности) в исходном состоянии.

есть, всегда записывается в прямых скобках и представляет собой некоторое

булевское выражение.
Выражение действия (action expression) выполняется только в том случае, когда переход срабатывает. В общем случае, выражение действия может содержать целый список отдельных действий, разделенных символом ";".

которое состоит из других вложенных в него состояний. Последние выступают

по отношению к первому как подсостояния (substate).
Последовательные подсостояния (sequential substates) используются для моделирования такого поведения объекта, во время которого в каждый момент объект может находиться в одном и только одном подсостояний.
Параллельные подсостояния (concurrent substates) позволяют специфицировать два и более конечных подавтомата, которые могут выполняться параллельно внутри составного события. Каждый из конечных подавтоматов занимает некоторую область (регион) внутри составного состояния, которая отделяется от остальных горизонтальной пунктирной линией.