Индикаторы изменений
Помимо темпоральной логики, на переходах могут быть заданы индикаторы изменений.
Индикаторы изменений — это условия, которые определяют, когда можно выполнить переход из одного состояния в другое. Представлены следующие индикаторы:
-
hasChanged(variable)— проверяет, изменилось ли значение переменной на текущем шаге, и если да, то позволяет выполнить переход;
-
hasChangedFrom(variable, oldValue)— проверяет, изменилась ли переменная с заданного oldValue на любое другое значение;
-
hasChangedTo(variable, newValue)— проверяет, изменилось ли значение переменной на конкретное новое значение newValue.