Моделирования uml

теряется и автомат остается в состоянии 
Applicant
.
Событие перехода (trigger event)
16
 — это тот входной символ 
(стимул), который вкупе с текущим состоянием автомата 
определяет следующее состояние.
UML допускает наличие переходов без событий — такой 
переход называется переходом по завершении.
Переход по завершении (completion transition) — это переход, 
который происходит по окончанию внутренней деятельности. 
Рассмотрим пример. 
ИЗМЕНЕНИЯ В ТЕХНИЧЕСКОМ ЗАДАНИИ 
 
Сразу после приема на работу кандидату может быть 
поручено выполнение специального задания. Если кандидат не 
справляется с ним в оговоренный период (испытательный срок), то 
это является достаточным основанием для увольнения. Если же 
кандидат успешно выполняет задание, то с ним заключается договор 
на постоянную работу.
На рис. 4.2 приведено одно из возможных решений, в котором 
используется как простой переход (1), так и переход по 
завершении (2). 
Сторожевое условие (guard) — это логическое выражение, 
которое 
должно 
оказаться 
истинным 
для 
того, 
чтобы 
возбужденный переход сработал.
В сторожевом условии можно использовать значения атрибутов 
моделируемого элемента, с которым связана машина состояний, а 
также значения аргументов переключающего события. Таким 
образом, значение сторожевого условия вычислить заранее, на этапе 
моделирования, 
невозможно. 
Сторожевое 
условие 
должно 
проверяться динамически, во время выполнения.
16
Используют также термин "переключающее событие". 

---

136
Для каждого возбужденного перехода сторожевое условие 
проверяется ровно один раз, сразу после того, как переход возбужден 
и до того, как в системе произойдут какие-либо другие события. Если 
сторожевое условие ложно, то переход не срабатывает и событие 
теряется. Даже если впоследствии сторожевое условие станет 
истинным, переход сможет сработать, только если повторно 
возникнет событие перехода. 
Рис. 4.2. Использование перехода по завершении