R810 - modelint/shlaer-mellor-metamodel GitHub Wiki

R810 / 1:1c

Data Flow is output by zero or one Data Flow Switch

Data Flow Switch outputs exactly one Data Flow

---

By definition, a Data Flow Switch produces a single output that will convey a result delivered on one of the input Data Flows.

Any given Data Flow may or may not be the output of a Data Flow Switch.