R155 - modelint/shlaer-mellor-metamodel GitHub Wiki

R155 / M:Mc-1

Formalizing Class Role refers to one or many Class

Class is referred to from zero, one or many Formalizing Class Role

---

To formalize a Relationship, some Class plays the formalizing role, which means that a subset of that Class's Attributes refer to the Identifier of the same or another Class participating in the Relationship.

Depending on the Relationship, the formalizing Class may refer to more than Class and/or Identifier.

Any given Class may or may not be the target of of a formalizing Class.

Formalization

Reference.(From class, Rnum, Domain) -> Formalizing Class Role.(Class, Rnum, Domain)
Reference.(To class, Domain) -> Class.(Name, Domain)