Type : "KindOfStateMachine"
A state machine can be a dynamic state machine, as usually defined in UML (Harel state diagrams), or protocol state machine. Protocol state machines represent the usage protocol of the class's operations. It defines in which order and under which condition and state an operation can be invoked.