R1036 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1036 / 1:Mc

Scalar Flow provides attribute value to zero, one or many Extender

Extender gets attribute value form exactly one Scalar Flow

---

For its extended Table Attribute, an Extender requires a value to be computed per input instance. This must be a scalar since that is the only value that an attribute can hold for a given tuple (table or class).

This means that the invoked Type Operation or Method Call must return a single scalar value.

A given Scalar Flow may supply its value to any number of Extenders or other destinations.