R507 - modelint/shlaer-mellor-metamodel GitHub Wiki

R507 / 1:Mc

Transition specifies path to exactly one Real State

Real State is arrived at via zero, one or many Transition

---

A Transition defines a path to a Real State from the same or a different State in the same State Model when the associated Effective Event occurs.

A Real State may be reached from multiple Transitions from, possibly, multiple States.

A Real State may be unreachable if the associated instance is persistent. In that case the MX domain will populate the instance in some initial state prior to runtime. Once active, there is no path back to an unreachable Real State once exited.