R1061 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1061 / 1:1c

Emitter outputs exactly one Sequence Flow

Sequence Flow is output by zero or one Emitter

---

By definition, an Emitter produces a single Sequence Flow that is enabled only when each input Sequence Flow has been enabled for an invocation of the enclosing Activity.

A given Sequence Flow may or may not be the output of an Emitter.