Code, that is inserted in the on-create-initialiser, after assignment of initial values to attributes, and after code specified by the XMLogicImplementation/OnCreateInitialisation property.

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☑ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

The target states the statemachine switches to after this transition has executed it's body.

A list of conditions, state variables and corresponding states. The statemachine state is set to the first of these states, whose corresponding condition is true. If a condition is empty, it is always true ("else" case).

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☐ attributes ∙ ☑ operations ∙ ☐ association ends ∙ ☐ states

The initial states the statemachine switches to when it is initialised.

A list of conditions, state variables and corresponding states. The statemachine state is set to the first of these states, whose corresponding condition is true. If a condition is empty, it is always true ("else" case).

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☑ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

Code, that is executed on entry of the respective state.

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☑ states

Code, that is executed on exit of the respective state.

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☑ states

A list of rules that define a coupling between state changes of the annotated attribute and it's containing state machine.

Each rule (TransitionBinding) consists of a list of BeforeStates, a list of AfterStates and an Action.

It applies if and only if the attribute changed its state from one of the states in the BeforeStates list to one of the states in the AfterStates list. If one of the lists is empty, it applies to all states. If the rule applies, it's action is executed.

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☑ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

Marks the respective attribute as a slot for subtransactions. The type of the attribute must be a generically typed Vector of Transactions or of classes derived from Transaction. The attribute will only receive appropriate transaction instances.

Applies to

▸ Model level: ☑ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☑ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

Is set to true in the technical model if this state machine is derived from another base state machine.

Applies to

▸ Model level: ☐ logical model ∙ ☑ technical model

▸ Model elements: ☐ packages ∙ ☑ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

If not empty, the substates corresponding to the given state variables of instances is explicitly visible as an attribute in the user interface, otherwise there is no attribute at all.

Applies to

▸ Model level: ☑ logical model ∙ ☐ technical model

▸ Model elements: ☐ packages ∙ ☑ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

Name of an aggregate (OCP class) which contains a map of UIEquipments which are used to visualize the current state in the user interface.

Applies to

▸ Model level: ☑ logical model ∙ ☐ technical model

▸ Model elements: ☐ packages ∙ ☑ classes ∙ ☐ attributes ∙ ☐ operations ∙ ☐ association ends ∙ ☐ states

If not empty, a code snippet, that returns at runtime an instance of a

StateVariable

, which is registered with the State attribute of this class.

If this code is provided, it shall respect the specification defined in XMStateMachine/StateVariableSpecification.

Applies to

▸ Model level: ☑ logical model ∙ ☐ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☑ attributes ∙ ☑ operations ∙ ☑ association ends ∙ ☐ states

If not empty, a code snippet, that returns the state variable specification used for registration of this state variable.

Applies to

▸ Model level: ☑ logical model ∙ ☐ technical model

▸ Model elements: ☐ packages ∙ ☐ classes ∙ ☑ attributes ∙ ☑ operations ∙ ☑ association ends ∙ ☐ states