R1005 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1005 / 1:Mc

Update Action obtains value from exactly one Scalar Flow

Scalar Flow provides value to zero, one or many Update Action

---

An instance's Attribute value can be overwritten with a value supplied by some Scalar Flow.

Any given Scalar Flow may or may not provide a value to any number of write operations.