R860 - modelint/shlaer-mellor-metamodel GitHub Wiki

R860 / 1:Mc

Initial Signal Action asynchronously delegates creation to exactly one Initial Pseudo State

Initial Pseudo State] has creation asynchronously delegated from zero, one or many Initial Signal Action

---

An Initial Signal Action triggers an Event on a Transition out of some Initial Pseudo State, thereby triggering the creation of an instance of the target Class. We say the creation is delegated since one or more Actions will be necessary in the target Class to create the new instance. These delegated Actions ensure that the new instance has all referential and non-referential Attributes initialized to meaningful and consistent values.

A given Intial Pseudo State may receive an Event sent from any number of Initial Signal Actions emitted from any number of State Activity (s).

There should be at least one corresponding Initial Signal Action in order for the target class to be instantiated during execution. But there is no modeling rule enforcing this condition.