R509 - modelint/shlaer-mellor-metamodel GitHub Wiki

R509 / 1c:M-1

Initial Pseudo State must exit on one or many Transition

Transition defines exit from zero or one Initial Pseudo State

---

The whole purpose of an Initial Pseudo State is to specify one or more initial Transitions into a Real State upon instance creation as part of a Lifecycle.

A given Transition may or may not define a path from the Initial Psuedo State of a Lifecycle.