R1025 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1025 / 1:Mc-1

Instance Flow elements are iterated on by zero, one or many Iteration Action

Iteration Action iterates on exactly one Instance Flow

---

An Iteration Action iterates once on each instance referenced in an Instance Flow.

A Instance Flow can be used for other purposes and can be distributed to any number of diverse Actions.

Formalization

Iteration Input.(Instance flow, Activity, Domain) -> Instance Flow.(Flow, Activity, Domain)
Iteration Input.(Iteration action, Activity, Domain) -> Iteration Action.(Action, Activity, Domain)