R1101 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1101 / 1:1

Computation yields exactly one Computed Result

Computed Result is yielded by exactly one Computation

---

By definition, a Computation is an Action that outputs a single Data Flow that will contain a value produced by that Computation.