R2011 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2011 / 1:1c

State Machine has pending zero or one Completion Event

Completion Event is pending for exactly one State Machine

---

A Completion Event indicates that a State Activity has completed either as the result of a boolean expression being true or false, or because the State Activity has completed processing. Either way, a State Activity ends with the dispatch of a single Completion Event or none at all.

It never makes sense for there to be more than one Completion Event pending for the same State Machine.