R2014 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2014 / 1c:Mc-1

State Machine will transition to zero or one Real State

Real State is next state of zero, one or many State Machine

---

A State Machine is always in some current Real State. A Dispatched Event selected for processing may specify a Transition to a Real State (possibly back to the current state). In this case, we temporarily note the destination.

If the Dipatched Event being processed specifies a non transition (ignore or can't happen) there will be no destination.

Also, of no Dispatched Events are being processed there will be no destination.

The same Real State could simultaneously be the destination of may different State Machines (all representing the same State Model).