- connection: ConnectionPointReference
|
The entry and exit connection
points used in conjunction with this (submachine) state, i.e. as
targets and sources, respectively, in the region with the submachine
state. A connection point reference references the corresponding
definition of a connection point pseudostate in the statemachine
referenced by the submachinestate. |
- deferrableTrigger: Trigger
|
A list
of triggers that are candidates to be retained by the state machine if
they trigger no transitions out of the state (not consumed). A deferred
trigger is retained until the state machine reaches a state
configuration where it is no longer deferred. |
- doActivity:
Activity[0..1]
|
An optional activity that is executed while being in the
state. The execution starts when this state is entered, and stops
either by itself, or when the state is exited, whichever comes first. |
|
An optional activity that is executed whenever
this state is entered regardless of the transition taken to reach the
state. If defined, entry actions are always executed to completion
prior to any internal activity or transitions performed within the
state. |
|
An optional activity that is executed
whenever this state is exited regardless of which transition was taken
out of the state. If defined, exit actions are always executed to
completion only after all internal activities and transition actions
have completed execution. |
- redefinedState: State[0..1]
|
The state of which this state is a redefinition. |
|
The regions of the state. |
- submachine: StateMachine[0..1]
|
The state machine that is to be inserted in place of the
(submachine) state. |
- stateInvariant: Constraint [0..1]
|
Specifies conditions that are always
true when this state is the current state. In protocol state machines,
state invariants are additional conditions to the preconditions of the
outgoing transitions, and to the postcondition of the incoming
transitions. |
- /redefinitionContext: Classifier[1]
|
References the classifier in which context this element may
be redefined. |