R130 - modelint/shlaer-mellor-metamodel GitHub Wiki

R130 / M-Mc-1

Constrained Loop is a contiguous closed path of zero one or many Association

Association is a segment of zero, one or many Constrained Loop

---

A Relationship may or may not participate in any Constrained Loops. As shown below, the same Relationship may be part of multiple Constrained Loops.

images/relationship-subsystem/R130-10.png

A Constrained Loop, by definition, consists of at least one Relationship. A single constrained Reflexive Association, as shown, constitutes a minimal Constrained Loop.

images/relationship-subsystem/R130-20.png

Formalization

Loop Segment.(Loop, Domain) -> Constrained Loop.(CLnum, Domain)
Loop Segment.(Rnum, Domain) -> Association.(Rnum, Domain)