R1173 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1173 / 1:1c

Cardinality Action outputs cardinality to exactly one Scalar Flow

Scalar Flow flows cardinality from zero or one Cardinality Action

---

The count is output as a single Scalar Flow types as a positive integer.

Any given Scalar Flow either is or is not delivering the output of a Cardinality Action.