R1278 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1278 / 1:Mc

External Operation is invoked by zero, one or many Operation Call

Operation Call invokes exactly one External Operation

---

By definition, an Operation Call invokes a specific External Operation.

An External Operation may be defined but not invoked anywhere, though it would then have no utility.

Normally each External Operation will be invoked by some Activity at least once using an Operation Call.