Definition of a state machine transition.
Declaration :
Artifact : TRANSITION
Attribut event |
Event which fires this transition.
Declaration :
Attribut action |
Side-effect action to execute during the firing of this transition.
Declaration :
Attribut guard |
Guard condition which must be true for this transition to fire.
Declaration :
Relation next_state (<unidirectional association>) |
Target state of transition.
Declaration :