R560 - modelint/shlaer-mellor-metamodel GitHub Wiki

R560 / Generalization

Event is a Non Delegated Event or Delegated Event

---

Every Event has a name and is defined on either a Class or a Relationship.

A Delegated Event is simply a kind of forwarding address that routes a Signal to a Forwarded Effective Event which is, by definition, not further delegated.

A Non Delegated Event is an Event that has a local effect. In the case of an Effective Event, this effect will consist of Event Responses on a State Model. With a Creation Event it will be to signal the MX environment to create an instance of a Class in a Lifecycle State Model.

Formalization

Non Delegated Event.(Name, State model, Domain) -> Event.(Name, Subsystem element, Domain)
Delegated Event.(Name, Class, Domain) -> Event.(Name, Subsystem element, Domain)