State transition view

Edit online

A state transition diagram is a visual representation of the states and transitions of a system. It helps to model the dynamic behavior of a system by showing the different states it can be in and the triggers that cause it to transition between those states.

Each state can have a label or name, and the transitions might be labeled with the events or actions that cause the transition to occur. When you select a transition, the Properties panel displays details about its source and target states.

Consider the following example of a state transition view. Transition has an optional label that may have: trigger, guard, and effect.

State: allDoorsclosed, checkingDoors, and doorOpen are states.
Transition: EvDoorOpen is the <trigger> part of the transition.; Format: <trigger>[<guard>]/<effect>; guard is a boolean expression, for example: [vehicle.speed = max_speed], or [firstDoorOpen]; effect is an action (perform, accept, send, assign), for example: /send reqSwitchOnCourtesyLight by pLightCtrl

Each state has a declaration text as its label.