R558 - modelint/shlaer-mellor-metamodel GitHub Wiki

R558 / 1:1c

Polymorphic Event Specification initiates delegation as exactly one Root Delegated Event

Root Delegated Event is initial delegation of exactly one Polymorphic Event Specification

---

A Polymorphic Event Specification is defined on some Class playing the role of the Superclass where all delegation begins. This will be the most general Superclass with respect to the event specification.

On this Class there will be a single Root Delegated Event conforming to the specification.

A Root Delegated Event, by definition, initiates delegation of a specific Polymorphic Event Specification.

Formalization

Polymorphic Event Specification.(Name, Class, Domain) -> Root Delegated Event.(Name, Class, Domain)