R857 - modelint/shlaer-mellor-metamodel GitHub Wiki

R857 / 1:Mc

Signal Instance Action delivers signals to each member of exactly one Instance Flow

Instance Flow each member receives signal from zero, one or many Signal Instance Action

---

A signal sent to an Instance Flow destination results in a distinct copy of the Signal sent to each Instance in the Instance Flow. If there are zero instances in the flow, no Signals are sent and the Signal Action completes normally.

If an Instance Flow is empty (provides zero instance references) no signal will be sent.

Any given Instance Flow may or may not be a source of signal destinations.