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.