R1053 - modelint/shlaer-mellor-metamodel GitHub Wiki

Control Flow is a Sequence Flow, Result or Case

A Control Flow does not transmit data. Instead it supplies an enabling control input to any downstream Action. An Action that takes a Control Flow as input may not execute if the status of the input flow is not active.

A Sequence Flow is active only after the source Action has executed.

A Result is active only if the associated value, true or false, has been evaluated.

A Case is active only if the associated enumerated type value has been detected.

Each of the subclasses represents some condition that must be met so that the downstream action may proceed. If the condition is not, or cannot be met, for a given execution of the enveloping Activity, the downstream Action will not be executed.

<subclass>.(Flow, Activity, Domain) -> Control Flow.(Flow, Activity, Domain)