R1132 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1132 / 1:Mc

Type Operation inputs exactly one Scalar Flow

Scalar Flow is input by zero, one or many Type Operation

---

A Type Operation is applied to a value and must be supported by the type (Scalar) of that value.

For example:

f = current temperature.fahrenheit

In the Scrall statement above, we apply the fahrenheit operator to a labeled current temperature Scalar Flow. We assume that the type definition system (outside our metamodel) has provided an implementation of the fahrenheit operator on the type associated with the Scalar Flow.

In other words, the current temperature value flow is input to the fahrenheit Type Operation with its output R1130 assigned to the Scalar Flow labeled as f.

Any given Scalar Flow may or may not be used to provide input to any number of Type Operations.