Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 96 стр.

UptoLike

96 Глава 8. Универсальный язык UML моделирования сложных систем
Рис. 8.21. Пример диаграммы состояний UML
состояние «Ожидание», которое характеризует исправный и подключённый к
телефонной сети телефонный аппарат. Переход в следующее состояние про-
исходит при поднятии телефонной трубки. Переход с атомарным действием
«издать тоновый сигнал» переводит аппарат в составное состояние, а точнее
в начальное его подсостояние.
Далее телефонный аппарат будет находиться в состоянии «Тоновый сиг-
нал». При этом будет непрерывно издавать этот сигнал до тех пор, пока не
произойдёт событие «Набор_ цифры(n)» либо не истечёт 15 секунд с момен-
та поднятия трубки. В первом случае аппарат перейдёт в состояние «Набор
номера», а во втором в состояние «Истечение времени ожидания».
При наборе номера выполняется событие «Набор_цифры(n)» с условием