StateMachine Diagram
A StateMachine Diagram is a graph that represents a StateMachine. States and various other types of Vertices (Pseudostates) in the StateMachine graph are rendered by appropriate State and Pseudostate symbols, while Transitions are generally rendered by directed arcs that connect them, or by control symbols representing the actions of the Behavior on the Transition.