R159 - modelint/shlaer-mellor-metamodel GitHub Wiki

R159 / 1:1

P Reference is housed in exactly one Association Class

Association Class houses exactly one P Reference

---

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

Formalization

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