R563 - modelint/shlaer-mellor-metamodel GitHub Wiki

R563 / 1:M

Event Specification has data provided by exactly one State Signature

State Signature provides data required by one or many Event Specification

---

An Event may deliver any number of Parameter values, including zero, when it occurs, as determined by its Event Specification.

This set of Parameters is established by the associated State Signature. Even if an Event Specification provides no Parameters, it will still be associated with a State Signature that specifies the empty set.

Multiple Event Specificiations may share the same State Signature. More than one Event Specification on the same State Model might, for example, specify zero Parameters.

A State Signature defines the set of Parameters required by one or more Real States in the same State Model. For any given State Signature, multiple Event Specifications may provide the identical Parameter set.