R1027 - modelint/shlaer-mellor-metamodel GitHub Wiki

Sequence is a Selection Sequence, Reflexive Sequence or Ordinal Sequence

The iteration order can be specified by an ordered ascending/descending selection, traversal of a reflexive one to one sequence (conditional or unconditional), or by an Ordinal Relationship. These are the only mechanisms available in this metamodel.

<subclass>.(Iteration action, Activity, Domain) -> Sequence.(Iteration action, Activity, Domain)