R150

R150 / Mc:Mc-1

Class is used to formalize zero, one or many Relationship

Relationship is formalized in zero, one or many Class

---

Association and Generalization Relationships are formalized by housing one or more References in a designated Class. See the Formalizing Class Role description to see how this works for these two types of Relationships.

Only a subset of the Classes connected in a Relationship will contribute to the formalization of that Relationship.

Any given Class may house References for multiple Relationships. A Class playing the role of an Association Class may also be a Subclass of a Generalization. In that case, the Class will play two Formalizing Class Roles.

While each Relationship must designated at least one formalizing Class, a given Class need not formalize any Relationship.

NOTE (LS 22-12-26): Ordinal relationships, however, are not formalized by any references. Just realized that during implementation of the model parser. For now we will make the relationship conditional. There may be a better way to deal with this exception, to be considered later. For now, let's make this Mc:Mc-1

Formalization

Formalizing Class Role.(Rnum, Domain) -> Relationship.(Rnum, Domain)
Formalizing Class Role.(Class, Domain) -> Class.(Name, Domain)