15.4 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.

*Graphis Nodes

The graphic nodes that can be included in state machine diagrams are shown in Table15.1 .

Table15.1 - Graphic nodes included in state machine diagrams

Node Type	Notation	Reference

Action	MinorReq := Id;	See Transition (from BehaviorStateMachines ) on page 594.
Issue 8401 -fix typo Choice pseudostate	[Id>10] d<=10]	See Pseudostate (from BehaviorStateMachines ) on page 561.
Composite state	S Sb1 Sb3 Sb2	See State (from BehaviorStateMachines , ProtocolStateMachines ) on page 571.
Entry point		See Pseudostate (from BehaviorStateMachines ) on page 561.
Exit point		See Pseudostate (from BehaviorStateMachines ) on page 561.
Final state		See FinalState (from BehaviorStateMachines ) on page 552.
Issue 8401 -fix typo History, Deep pseudostate	H*	See Pseudostate (from BehaviorStateMachines ) on page 561.

Table15.1 - Graphic nodes included in state machine diagrams Table15.1 - Graphic nodes included in state machine diagrams

Node Type	Notation		Reference

Issue 8401 fix typo History, Shallow pseudostate		H	See Pseudostate (from BehaviorStateMachines ) on page 561.
Issue 8401 fix typo Initial pseudostate			See Pseudostate (from BehaviorStateMachines ) on page 561.
Issue 8401 fix typo Junction pseudostate			See Pseudostate (from BehaviorStateMachines ) on page 561.
Receive signal action		Req(Id)	See Transition (from BehaviorStateMachines ) on page 594.
Send signal action		TurnOn	See Transition (from BehaviorStateMachines ) on page 594.
Region	S		See Region (from BehaviorStateMachines ) on page 569.
Simple state		S	See State (from BehaviorStateMachines , ProtocolStateMachines ) on page 571.
State list		S1,S2	See State (from BehaviorStateMachines , ProtocolStateMachines ) on page 571.

Node Type	Notation		Reference

State Machine	ReadAmountSM	aborted	See StateMachine (from BehaviorStateMachines ) on page 586.
Terminate node			See Pseudostate (from BehaviorStateMachines ) on page 561.
Submachine state			See State (from BehaviorStateMachines , ProtocolStateMachines ) on page 571.