Diagrams

State machine diagrams specify state machines. This chapter outlines the graphic elements that may be shown in state machine diagrams, and provides cross references where detailed information about the semantics and concrete notation for each element can be found. It also furnishes examples that illustrate how the graphic elements can be assembled into diagrams.

Graphic Nodes

The graphic nodes that can be included in state machine diagrams are shown in Table 20.

Table 20 - Graphic nodes included in state machine diagrams

NODE TYPE NOTATION REFERENCE
Choice pseudo stateSee
See  "ProtocolTransition (from ProtocolStateMachines)" .
Composite state
See "State (from BehaviorStatemachines)" .
Entry point
See "ProtocolTransition (from ProtocolStateMachines)" .
Exit point
See "ProtocolTransition (from ProtocolStateMachines)" .
Final state
See "FinalState (from BehaviorStatemachines)".
History, Deep  pseudo state

See "ProtocolTransition (from ProtocolPseudo stateStateMachines)".
History, Shallow pseudo state

See "ProtocolTransition (from Protocol-pseudo stateStateMachines)" .
Initial pseudo state
See "ProtocolTransition (from ProtocolStateMachines)" .
Junction pseudo state
See "ProtocolTransition (from ProtocolStateMachines)" .
Region
See "Region (from BehaviorStatemachines)" .
Simple state
See "State (from BehaviorStatemachines)" .
State list
See "ProtocolTransition (from ProtocolStateMachines)" .
State Machine
See "StateMachine (from BehaviorStatemachines)".
Terminate node
See "ProtocolTransition (from ProtocolStateMachines)"
Submachine state
See "State (from BehaviorStatemachines)" .


Graphic Paths

The graphic paths that can be included in state machine diagrams are shown in Table 21.

Table 21 - Graphic paths included in state machine diagrams

PATH TYPE NOTATION REFERENCE
Transition
See "Transition (from BehaviorStatemachines)" .

Examples

The following are examples of state machine diagrams.