R158 - modelint/shlaer-mellor-metamodel GitHub Wiki

R158 / 1:1

T Reference is housed in exactly one Association Class

Association Class houses exactly one T Reference

---

An Association Class houses two references necessary to formalize its Association named T and P. Here we capture the requirement for a T Reference.

Formalization

T Reference.(Association class, Rnum, Domain) -> Association Class.(Class, Rnum, Domain)