R851 - modelint/shlaer-mellor-metamodel GitHub Wiki

R851 / 1:Mc

Signal Action generates event for exactly one Event Specification

Event Specification defines event generated by zero, one or many Signal Action

---

A Signal is generated conforming to some Event Specification. The specification gives us a name for the Event, any required Event Parameters and a destination. The destination could be a Class or a Relationship, i.e. a Subsystem Element. In the case of a Class, there may or may not be an associated State Model. If there is no State Model and the destination is a Class, the Event must be polymorphic and delegated.

Formalization

Signal Action.(Event spec, State model, Domain) -> Event Specification.(Name, State model, Domain)