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

UptoLike

8.7. Диаграмма состояний 95
<имя события>(<список параметров, разделенных запятыми>)
Сторожевое условие (Guard Condition) логическое условие, записан-
ное в прямых скобках и представляющее собой булевское выражение, прини-
мающее одно из двух взаимно исключающих значений: «истина» или «ложь».
Действие (Action) представляет собой спецификацию выполняемого утвер-
ждения, которая образует абстракцию вычислительной процедуры.
Действие обычно приводит к изменению состояния системы, и может быть
реализовано посредством передачи сообщения объекту, модификации связи
или значения атрибута.
В UML действия разделяются на действия входа и действия выхода.
Входное действие (Entry Action) действие, которое выполняется в мо-
мент перехода в данное состояние. Обозначается с помощью ключевого слова
«entry», которое указывает на то, что следующее действие должно быть вы-
полнено в момент входа в данное состояние.
Действие выхода (Exit Action) действие, производимое при выходе из
данного состояния. Обозначается с помощью ключевого слова «exit», которое
указывает на то, что следующее действие должно быть выполнено в момент
выхода из данного состояния.
В UML помимо ключевых слов «entry» и «exit», определённых для дей-
ствия, есть ключевое слово «do», которое определяет деятельность, выполня-
ющуюся в течение всего времени, пока объект находится в данном состоянии,
или до тех пор, пока она не будет прервана внешним событием.
8.7.3. Пример диаграммы состояний UML
Рассмотрим диаграмму состояний, которая представляет собой пример
моделирования поведения конкретного объекта процесса функционирова-
ния телефонного аппарата [12] (рис. 8.21).
Данная диаграмма состояний представляет единственный объект с одним
составным состоянием. Вне этого составного состояния имеется только одно