R101 - modelint/shlaer-mellor-metamodel GitHub Wiki

R101 / M:M-1

Generalization has participating one or many Class

Class participates in zero, one or many Generalization

---

A Generalization is formed from multiple and, at least three classes via R116 (two Subclasses) and R103 (one Superclass).

Any given Class may or may not participate in any number of Generalizations. A Facet (Superclass or Subclass) is defined for each such participation.

Formalization

Facet.(Rnum, Domain) -> Generalization.(Rnum, Domain)
Facet.(Class, Domain) -> Class.(Name, Domain)