Adding triggers to state machine
diagrams
In UML models, a trigger
is an event that initiates a transition from one state to another.
A guard condition is a Boolean condition that must be satisfied for
a transition to occur. An effect is the action or activity that happens
when a transition occurs.