R1285 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1285 / Mc:Mc-1

External Signal Action fills out zero, one or many Parameter

Parameter is filled out by zero, one or many External Signal Action

---

When an External Signal Action executes, it must provide a value for each Parameter, if any, in the External Event's signature.

So by 'fill out' we really mean 'supply a Data Flow'.

A Parameter may or may not be associated with an External Event, let alone an External Signal Action.

And any number of External Signal Action's appearing in one or more Activities may need to fill out the same Parameter.