R1029 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1029 / 1:Mc

Ordinal Sequence is defined by exactly one Ordinal Relationship

Ordinal Relationship defines zero, one or many Ordinal Sequence

---

An Ordinal Sequence is an ordering defined by an Ordinal Relationship.

Let's say that we have an Iteration Input consisting of a set of floors in building as shown in the Ordinal Relationship description.

images/iteration-subsystem/R1029-10.png

The Ordinal Sequence in the example above specifies ascending which is designated in by OR1 as that direction.

A given Ordinal Relationship may or may not be used in any number of Iteration Actions.

Formalization

Ordinal Sequence.(Ordinal relationship, Domain) -> Ordinal relationship.(Rnum, Domain)