A transition changes from one state to another.
The syntax used is as follows:
- Event (trigger): exogenous stimulus, can trigger state transition
- Guard (condition): boolean expression
- if the event occurs, guard is checked
- if guard is true:
- any activities in current state are terminated
- relevant exit activity is executed
- transition takes place
- if guard is false:
- no state transition takes place, event is discarded
- Activity (effect): sequence of actions executed during the state transition
There are two types of transition:
