92
Граничные (ограждающие) условия
определяют,
когда может быть
выполнен переход, а когда – нет. Условия записываются в квадратных
скобках.
После
условий может указываться
действие
- непрерываемое
поведение, выполняемое как часть перехода.
Пример.
В нашем примере
если покупатель получил заказ, то это
событие вызывает
переход из состояния
Укомплектован
в состояние
Выдан
. Если же покупатель не получил свой заказ в течение двух недель, то
заказ расформировывается, а деньги
возвращаются покупателю на
банковскую карту. Условие
[Покупатель не забрал заказ в течение 2
недель]
вызывает
переход в состояние
Расформирован
при этом
выполняется действие
Вернуть деньги на карту
. Окончательную диаграмму
состояний можно видеть на рисунке 115.
Достарыңызбен бөлісу: 
