R568 - modelint/shlaer-mellor-metamodel GitHub Wiki

R568 / Generalization

Effective Event is a Monomorphic Effective Event or Forwarded Effective Event

---

Every Effective Event defines Event Responses on a State Model. In the case of a Monomorphic Event, it can't be a Creation Event. In the case of a polymorphic event, it must be one that is not further delegated.

Formalization

Monomorphic Effective Event.(Name, State model, Domain) -> Effective Event.(Name, State model, Domain)
Forwarded Effective Event.(Name, Class, Domain) -> Effective Event.(Name, State model, Domain)