R1130 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1130 / 1:1c

Type Action outputs exactly one Scalar Flow

Scalar Flow is output by zero or one Type Action

---

All Type Operations output a single Scalar value in a Scalar Flow. This is a simplifying decision that accommodates most, if not all, operator behavior defined by Date and Darwen. See Type Operation for an example of how we can mimic an update operator that does not actually yield a value.

A Scalar Flow may or may not be used as the output of a Type Action.