R1170 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1170 / 1:Mc

Source Tuple Attribute Access outputs tuple value in exactly one Scalar Flow

Scalar Flow provides tuple value for zero or one Source Tuple Attribute Access

---

The value of any Model Attribute accessed in an Extend Action flows out via a Scalar Flow.

A given Scalar Flow may or may not provide a tuple value from an Extend Action.