1.3.1.5.16 StateMachine
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.
KindStateMachineOperationModelElementNameSpaceEventBehaviorParameterBehaviorEntryPointPseudoStateExitPointPseudoStateprotocoldynamicKindOfStateMachineRegion
Attribute
Description
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.
Association
Description
Top : Region [0..1]
SubmachineState : State [0..*]
EntryPoint : EntryPointPseudoState [0..*]
ExitPoint : ExitPointPseudoState [0..*]