R1028 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1028 / 1c:M-1

Iteration Action repeatedly executes one or many Action

Action is repeatedly executed by zero or one Iteration Action

---

Any number of Actions may be executed as part of an Iteration Action. For each instance in the Iteration Input, the complete set of Actions is executed with each having access to every attribute value of the current instance.

Without at least one Action, the Iteration Action will amount to a no-op.

Any given Action may or may not be part of an Iteration Action.

Formalization

Iterated Action.(Action, Activity, Domain) -> Action.(ID, Activity, Domain)
Iterated Action.(Iteration action, Activity, Domain) -> Iteration Action.(Action, Activity, Domain)