R52 - modelint/shlaer-mellor-metamodel GitHub Wiki

R52 / M:Mc

Operation requires zero, one or many Operation Parameter

Operation Parameter is required by exactly one Operation

---

An Operation only defines parameters if it receives or conveys data elements.

Formalization

Operation Parameter.(Operation, EE, Domain) -> Operation.(Name, EE, Domain)