R2010 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2010 / 1:Mc

Effective Event defines zero, one or many Dispatched Event

Dispatched Event is defined by exactly one Effective Event

---

The Effective Event is a specification of the event structure, its State Model, name, required parameters and so forth. So every Dispatched Event must be defined by one of these.

For a given Effective Event, in fact for most of them probably, there won't be any Dispatched Events pending at any particular point in time.