R1284 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1284 / 1:Mc

Operation Call Parameter gets value from exactly one Data Flow

Data Flow supplies value for zero, one or many Operation Call Parameter

---

The value supplied for a required Parameter into an Operation Call is provided by a Data Flow.

Any given Data Flow may or may not supply a value for an Operation Call Parameter.