State Mashine Diagrams

Models

The behaviour that a system/object exhibits at each stage

Syntax

event[boolean guard] / actions

Important Reminder

Always implement exit before transition, even though the transition is based on the object before the exit.

Types of Events

Signal: Receipt of a signal

Call: Operation call

Time: Time-based state transition

Any receive: Occurs when any event occurs that does not trigger another

transition from the active state

Completion: Generated automatically when everything to be done in the

current state is completed

Change: Permanently checking whether a condition becomes true

Parallelization node

Splits the control flow into multiple concurrent flows

Synchronization node

Merges multiple concurrent flows