Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Унифицированный язык моделирования (Unified Mod...doc
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
1.06 Mб
Скачать

Варианты представления

Разновидность: Асинхронное. Асинхронное сообщение рисуется с половинкой острия (с одним крылом вместо двух).

Разновидность: Вызов. Вызов процедуры рисуется с полным острием. Возврат показывается пунктирной стрелкой.

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

Разновидность: В параллельной системе полное острие показывает создание нити управления (семантика ожидания), а половина острия показывает посылку сообщения без создания управления (семантика без ожидания).

Разновидность: Обычно стрелки сообщений рисуются горизонтально. Это показывает "атомарную" продолжительность передачи сообщения, то есть, короче говоря, сравнимую со степенью детализации взаимодействия, и то, что ничего не может произойти за время передачи сообщения. Это допустимое предположение для многих компьютеров. Если сообщению на передачу требуется некоторое время, в течение которого может что-либо произойти (например, сообщение в обратном направлении), то стрелка сообщения может быть наклонена вниз, так что острие будет ниже хвоста.

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

Разновидность: Итерация. Связанное множество сообщений может быть выделено и отмечено как итерация. Для сценария итерация показывает, что множество сообщений может повторяться много раз. Для процедуры, условие продолжения итерации может быть определено в ее конце. В случае параллелизма некоторые сообщения на диаграмме могут быть частью итерации, а другие могут выполняться один раз. Желательно упорядочивать диаграмму так, чтобы сообщения итерации легко выделялись вместе.

Разновидность: Линия жизни может представлять все множество объектов диаграммы представляющей представление более высокого уровня.

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

Время переходов Семантика

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

Нотация

Экземпляр перехода (например, сообщение в диаграмме последовательности или диаграмме сотрудничества или переход в машине состояний) может иметь название. Название представляет момент, в который посылается сообщение (например: A). В случае, когда передача сообщения не мгновенна, момент, в который сообщение принимается, показывается названием перехода с добавленным штрихом (например: A'). Название может показываться в левом отступе, выровненное со стрелкой (на диаграмме последовательности) или рядом с хвостом стрелки потока сообщения (на диаграмме сотрудничества). Это название может использоваться в выражениях ограничений для обозначения времени посылки сообщения. Если линия сообщения наклонна, то штрихованное название показывает момент принятия сообщения.

Ограничения могут быть определены путем помещения на диаграмме последовательности логических выражений в скобках.

Пример

Смотри Рисунок 33.