R51 - modelint/shlaer-mellor-metamodel GitHub Wiki

R51 / 1:M

External Entity defines one or many Operation

Operation is defined on exactly one External Entity

---

An Entity External Entity must define at least one Operation to have any utility.

Formalization

Operation.(EE, Domain) -> External Entity.(Name, Domain)