R811 - modelint/shlaer-mellor-metamodel GitHub Wiki

R811 / Mc:Mc-1

Data Flow feeds zero, one or many Gate Action

Gate Action switches among zero, one or many Data Flow

---

To be of any utility, a Gate Action requires at least two input Data Flows. The Gate Action will then act as a conduit for the one enabled input during an Activity invocation.

A given Data Flow may or may not provide input through a Gate Action and, it's even possible for the same Data Flow to fork out to feed more than one Gate Action.

Constraint

Each input flow as well as the output flow in a Data Flow Switch must be of the same Type and multiplicity (if not Scalar).