R1060 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1060 / 1:M

Decision Action yields one or many Result

Result is yielded by exactly one Decision Action

---

Formalization

Result.(Decision action, Activity, Domain) -> Decision Action.(Action, Activity, Domain)