R508 - modelint/shlaer-mellor-metamodel GitHub Wiki

R508 / 1:1c

Lifecycle instances are created by delegation in zero or one Initial Pseudo State

Initial Pseudo State is source of initial transition on exactly one Lifecycle

---

The delegated (asynchronous) creation mechanism applies only to Lifecycle state machines. This mechanism triggers an Effective Event in a newly created instance which is not yet in any Real State. We define an Initial Pseudo State that can process the initial event and enable a Transition into some Real State.

Like any Real State, multiple initial transitions may be defined originating from the Initial Pseudo State to one or more Real States. Consequently there is no need for more than one Initial Pseudo State on a Lifecycle. (Diagrammatically, the Initial Pseudo State can be shown in multiple locations to make a state diagram layout more readable).

If instances are not created by delegation on a Lifecycle, there is no need to define an Initial Pseudo State.