R116 - modelint/shlaer-mellor-metamodel GitHub Wiki

R116 / 1:1

Generalization requires exactly one Minimal Partition

Minimal Partition is required by exactly one Generalization

---

A Generalization must be split across at least two Subclasses with a Minimal Partition. In fact, a Generalization may be partitioned multiple times resulting in n-1 partitions where n is the total number of Subclasses. To formalize this partitioning constraint one Minimal Partition instance is required per Generalization instance.

Formalization

Minimal Partition.(Rnum, Domain) -> Generalization.(Rnum, Domain)