
Metamodel user guide
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.


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..*] |