Metamodel user guide
Graph of States and Transitions that describes the dynamic behavior of objects.
State diagams can also define usage protocol for Classes. In Modelio, a StateMachine belongs to a Package, an Operation, a UseCase or a Class. Its natural position is to belong to a Class.
Figure 180 : StateMachine
|KindOfStateMachine Kind [0..1]|
A state machine can be a dynamic state machine, as usually defined in UML (Harel state diagrams), or a protocol state machine. Protocol state machines represent the usage protocol of the Class' Operations. It defines in which order and for which condition and state an Operation can be invoked.
|Top : Region [0..1]|
|SubmachineState : State [0..*]|
|EntryPoint : EntryPointPseudoState [0..*]|
|ExitPoint : ExitPointPseudoState [0..*]|