R156 - modelint/shlaer-mellor-metamodel GitHub Wiki

R156 / 1:1

Generalization Reference is housed in exactly one Subclass

Subclass houses exactly one Generalization Reference

---

A Generalization is formalized by one Generalization Reference in each of its Subclasses. Each Subclass refers to an Identifier of its Generalization's Superclass.

By 'housed' in a Subclass, we mean that the referential attributes in the Reference are defined in that Subclass.

Formalization

Generalization Reference.(Subclass, Rnum, Domain) -> Subclass.(Name, Rnum, Domain)