Добавление перехода и редактирование его свойств Для добавления перехода между двумя состояниями нужно с помощью левой кнопки мыши нажать кнопку с изображением перехода на специальной панели инструментов, отпустить левую кнопку мыши, щелкнуть левой кнопкой мыши на изображении исходного состояния на диаграмме и отпустить ее на изображении целевого состояния. В результате этих действий на диаграмме появится изображение перехода, соединяющего два выбранных состояния. Продолжая разработку модели системы управления банкоматом, добавим на диаграмму состояний начальное состояние (Start State) и соединим его переходом с состоянием Ожидание карточки (рис. 9.5).
Рис. 9.5. Диаграмма состояний после добавления на нее перехода из начального состояния в состояние Ожидание карточки
После добавления перехода на диаграмму состояний можно открыть диалоговое окно его свойств и специфицировать дополнительные свойства, доступные на соответствующих вкладках (рис. 9.6). Следует обратить внимание на две первые строки вкладки Detail (Подробно), которые представляются наиболее важными из свойств перехода. Первое поле ввода Guard Condition служит для задания сторожевого условия, которое определяет правило срабатывания соответствующего перехода. Во втором поле ввода Action можно специфицировать действие, которое происходит при срабатывании перехода до того, как моделируемая система попадет в целевое состояние.
Рис. 9.6. Диалоговое окно спецификации свойств перехода, открытое на вкладке Detail (Подробно)
При необходимости можно определить сообщение о событии, происходящем при срабатывании перехода, а также визуализировать вложенность состояний и подключить историю отдельных состояний.
Окончательное построение диаграммы состояний модели банкомата Для завершения построения диаграммы состояний рассматриваемого примера следует описанным выше способом добавить оставшиеся состояния и переходы. С этой целью следует выполнить следующие действия:
1. Добавить состояния с именами: Ожидание ввода ПИН-кода, Проверка ПИН-кода, Ожидание выбора клиента, Обработка запроса на снятие наличных, Обработка запроса на получение справки, Выдача наличных, Печать, Возврат карточки, Завершение транзакции и финальное состояние.
2. Добавить переход: карточка вставлена, направленный от состояния Ожидание карточки к состоянию Ожидание ввода ПИН-кода.
3. Добавить переход: ПИН-код введен, направленный от состояния Ожидание ввода ПИН-кода к состоянию Проверка ПИН-кода.
4. Добавить переход: отмена транзакции, направленный от состояния Ожидание ввода ПИН-кода к состоянию Возврат карточки.
5. Добавить переход со сторожевым условием: [ПИН-код верный], направленный от состояния Проверка ПИН-кода к состоянию Ожидание выбора клиента.
6. Добавить переход со сторожевым условием: [ПИН-код неверный], направленный от состояния Проверка ПИН-кода к состоянию Ожидание ввода ПИН-кода.
7. Добавить переход: три неудачи с действием на переходе конфискация карточки, направленный от состояния Проверка ПИН-кода к состоянию Завершение транзакции. Для задания действия на данном переходе следует ввести текст конфискация карточки в поле ввода Action (Действие) на вкладке Detail (Подробно) окна спецификации свойств данного перехода (рис. 9.7).