R2012 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2012 / 1c:1c-1

State Machine is processing zero or one Dispatched Event

Dispatched Event is being processed by zero or one State Machine

---

When a Dipatched Event is selected, it becomes the Active Event. Until this Dispatched Event is processed, no other Dispatched Event may become the Active Event.

If no Dispatched Events are pending for a given State Machine, then there can be no Active Event.

Put differently, as long as there are Dispatched Events pending for a given State Machine, there will always be an Active Event.