R53 - modelint/shlaer-mellor-metamodel GitHub Wiki

R53 / Generalization

Operation is an Egress Operation or Ingress Operation


All Operations are either triggered locally (egress) or from some other Domain (ingress).

An Egress Operation communicates with a counterpart in another Domain while an Ingress Operation receives communication from an external counterpart.

Formalization

<subclass>.(Name, EE, Domain) -> Operation.(Name, EE, Domain)
⚠️ **GitHub.com Fallback** ⚠️