R1279 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1279 / 1c:Mc-1

Operation Call outputs zero or one External Operation Output

External Operation Output is output by zero, one or many Operation Call

---

An Operation Call will output a single External Operation Output if its External Operation defines one.

An External Operation Output will yield an Operation Call Flow for each separate invocation.