R1031 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1031 / Mc:Mc-1

Selection Sequence has input sorted by zero, one or many Attribute

Attribute sorts input for zero, one or many Selection Sequence

---

Any subset of Attributes of the Class characterizing the Iteration Input may be used to sort the input instances to establish an iteration sequence.

In the case where this is the empty set (no sorting Attributes), iteration will proceed in no particular order. This, then, is how you specify a non-sequence as mentioned in R1026.

A given Attribute may or may not participate as a Sorting Attribute in any number of Iteration Actions.

Formalization

Ordering Attribute.(Name, Class, Domain) -> Attribute.(Name, Class, Domain)
Ordering Attribute.(Iteration action, Activity, Domain) -> Selection sequence.(Iteration action, Activity, Domain)