R552 - modelint/shlaer-mellor-metamodel GitHub Wiki

Forwarded Event is a Forwarded Delegated Event or Forwarded Effective Event

A Forwarded Event is the target of delegation. Some Event defined on a Superclass delegated its response to this target.

The delegation target event may itself be further delegated, in which case it is a Forwarded Delegated Event, or it may terminate the chain of delegation and define a response to each State in its Class's Lifecycle State Model. In this case it is considered a Forwarded Effective Event.

<subclass>.(Name, Class, Domain) -> Forwarded Event.(Name, Subclass, Domain)