3.4.2. Инструментальная поддержка в Rational Rose

Rational Rose 2002 несколько сужает семантику понятий “деятельность” и “действие”, применительно к диаграмме состояний. Среда оперирует только понятием “action” (действие) независимо от сути поведения объекта. В ранних версиях продукта можно было оперировать как понятием действия, так и понятием деятельности, что достигалось несколько иной трактовкой меток.

Кроме того, как говорилось ранее, поведение объекта в процессе его пребывания в состоянии, может включать в себя генерацию события и посылку информации о нем другому объекту. В этом случае описанию деятельности или действия предшествует символ “^”, а строка, содержащая в рамках состояния отправку информации о генерируемом событии, имеет вид:

Метка / Цель . Событие (Аргументы), где:

• Цель – объект, принимающий информацию о наступлении события;

• Событие – посылаемая информация о событии;

• Аргументы – параметры посылаемого сообщения (рис 3.4).

Рисунок 3.4. Состояние, включающее в себя генерацию события.

Для добавления действия, выполняемого в рамках состояния, откройте окно спецификации требуемого состояния. Перейдите на вкладку Action (Действия). Щелкните правой кнопкой мыши в области списка. В открывшемся меню выберите пункт Insert (Вставить). Дважды щелкните мышью на новом действии, появившемся в списке. В результате появится окно задания подробной спецификации действия. В выпадающем списке When (Когда) выберите нужное значение. В поле типа (Type) оставьте значение по умолчанию, которым является Action.В поле имени укажите имя действия.

Если необходимо смоделировать пересылку информации о генерации события другому объекту, повторите описанную ранее последовательность шагов. В поле типа выберите значение Send Event.В поле Name укажите имя события, информацию о котором посылаете. В поле Argument через запятую перечислите аргументы. В поле Send Target укажите имя объекта, которому адресовано сообщение.

3.4.3. Задание начальных и конечных состояний

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

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

Конечным (End State) состоянием называется состояние, в котором объект находится непосредственно перед уничтожением. Из соображений простоты визуального восприятия допускается наличие на диаграмме нескольких конечных состояний.

Для создания начального состояния нажмите кнопку Start State контекстной панели и щелкните мышью на диаграмме состояний в том месте, где его необходимо разместить. Аналогичным образом задается конечное состояние с использованием кнопки End State.

3.5. Добавление переходов

3.5.1. Понятие перехода

Переходом (Transition) называется перемещение моделируемого объекта из одного состояния в другое. Совокупность переходов показывает, как объект может переходить из одного состояния в другое. На диаграмме состояний все переходы изображаются в виде стрелки, ведущей из исходного состояния в целевое.

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

Рисунок 3.5. Рефлексивный переход.