R1133 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1133 / Generalization

Type Action is a Type Operation or Selector

---

For now at least, the invocation of a Date / Darwen defined operator is represented by either a Type Operator or Selector action.

A Selector invokes a selector operator while a Type Action invokes any other kind of operator supported by a type.