Indicators of changes
Besides temporal logic, change indicators can be set on transitions.
Change indicators are conditions that determine when it is possible to make a transition from one state to another. The following indicators are presented:
-
hasChanged(variable)— checks whether the value of the variable has changed in the current step, and if so, allows the transition;
-
hasChangedFrom(variable, oldValue)— checks whether a variable has changed from the specified oldValue to any other value.;
-
hasChangedTo(variable, newValue)— checks whether the value of the variable has changed to a specific new newValue value.