R1167 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1167 / 1:1c

Extract Action outputs exactly one Scalar Flow

Scalar Flow is output by zero or one Extract Action

---

An Extract Action provides its extracted value with a single output Scalar Flow.

By definition, a Tuple Flow must convey a single tuple (not many, not zero tuples). So an output is guaranteed.

Any given Scalar Flow may or may not be produced by an Extract Action.