R2009 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2009 / 1:Mc

Signaled Event is delievered to exactly one State Machine

State Machine has received zero, one or many Signaled Event

A State Machine can receive any number of Signaled Events arriving together at or spread out over time. These constitute pending Signaled Events.

The Shlaer-Mellor synchronization rules specify that each Signaled Event is addressed to a single State Machine.