| SMChoice |
Choice vertices result, when reached, in the dynamic evaluation of the guards of the triggers of its outgoing transitions. |
| SMDeepHistory |
DeepHistory represents the most recent active configuration of the composite state that directly contains this pseudostate - the state configuration that was active when the composite state was last exited.
|
| SMEntryPoint |
An entry point pseudostate is an entry point of a state machine or composite state.
|
| SMEntryPoint.VAttr |
|
| SMExitPoint |
An exit point pseudostate is an exit point of a state machine or composite state.
|
| SMExitPoint.VAttr |
|
| SMFinalState |
A special kind of state that signifies that the enclosing region is completed. |
| SMInit |
An initial pseudostate represents a default vertex that is the source for a single transition to the default state of a composite state.
|
| SMJoinFork |
Joins vertices serve to merge several transitions emanating from source vertices in different orthogonal regions.
|
| SMJoinFork.VAttr |
|
| SMJunction |
Junction vertices are semantic-free vertices that are used to chain multiple transitions together.
|
| SMProtocolConformance |
|
| SMProtocolConformance.VAttr |
|
| SMProtocolStateMachine |
A protocol state machine is always defined in the context of a classifier. |
| SMProtocolStateMachine.VAttr |
|
| SMPseudoState |
A pseudostate is an abstraction that encompasses different types of transient vertices in the state machine graph. |
| SMRegion |
A region is an orthogonal part of either a composite state or a state machine.
|
| SMRegion.VAttr |
|
| SMRegularState |
|
| SMRegularState.VAttr |
|
| SMShallowHistory |
shallowHistory represents the most recent active substate of its containing state (but not the substates of that substate).
|
| SMState |
A state model is a situation which an invariant condition (usually implicit) usually holds in.
|
| SMState.VAttr |
|
| SMStateMachine |
State machines can be used to express the behavior of part of a system.
|
| SMStateMachine.VAttr |
|
| SMTerminator |
Entering a terminate pseudostate implies that the execution of this state machine by means of its context object is terminated.
|
| SMTransExt |
kind=external implies that the transition, if triggered, will exit the composite (source) state. |
| SMTransExt.VAttr |
|
| SMTransInt |
kind=internal implies that the transition, if triggered, occurs without exiting or entering the source state. |
| SMTransInt.VAttr |
|
| SMTransition |
A transition is a directed relationship between a source vertex and a target vertex. |
| SMTransition.VAttr |
|
| SMVertex |
|
| SMVertex.VAttr |
|