1.3.1.5.16 StateMachine
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.
: StateMachine
Figure 180 : StateMachine
KindStateMachineNameSpaceOperationModelElementEventBehaviorParameterBehaviorExitPointPseudoStateprotocoldynamicKindOfStateMachineRegionEntryPointPseudoState
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..*]