R1055 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1055 / 1:Mc

Subclass Switch Action switches on subclasses of exactly one Generalization

Generalization subclasses are switched in zero, one or many Subclass Switch Action

---

Given a superclass instance, the Subclass Switch Action defines subclass cases for that superclass's Generalization.

Any given Generalization may or may not be the subject of any number of Subclass Switch Actions.

Formalization

Subclass Switch Action.(Generalization, Domain) -> Generalization.(Rnum, Domain)