R1030 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1030 / 1:Mc

Reflexive Sequence is defined by exactly one Asymmetric Perspective

Asymmetric Perspective defines zero, one or many Reflexive Sequence

---

A Reflexive Sequence is defined by a Binary Association with two Asymmetric Perspectives both viewed from the same Class, i.e. an asymmetric reflexive Association. The multiplicity on each side must be 1 to form a sequence.

The Asymmetric Perspective instance not only specifies the Association, it simultaneously indicates a traversal direction and, thus, a sequence.

Formalization

Reflexive Sequence.(Reflexive perspective, Side, Domain) -> Asymmetric Perspective.(Rnum, Side, Domain)

Reflexive perspective {R1029c}

The other Asymmetric Perspective on the Binary Association must be viewed on the same class (to make it reflexive) and the multiplicity of each Perspective must be '1' to form a sequence. Conditionality does not matter.

T Perspective.(Reflexive perspective, Domain)/R105/R121/Perspective.Viewed class == P Perspective.(Reflexive perspective, Domain)/R105/R121/Perspective.Viewed class AND
T Perspective.(Reflexive perspective, Domain)/R105/R121/Perspective.Multiplicity == .one AND
P Perspective.(Reflexive perspective, Domain)/R105/R121/Perspective.Multiplicity == .one