State Machine - modelint/shlaer-mellor-metamodel GitHub Wiki

A State Machine manages the current state and event input for an Instance (Lifecycle) or an Association (Assigner). Each State Machine maintains a current state, destination state, event input and the can't happen, ignore, and transition event responses.

Identifiers

1. ID + Domain

Attributes

ID

A unique value like SM1, SM2, ...

Type: State Machine ID, based on Nominal