R1056 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1056 / 1:Mc

Scalar Switch Action switches on input from exactly one Scalar Flow

Scalar Flow is switch input to zero, one or many Scalar Switch Action

---

The input provided to a Scalar Switch Action has an enumerated type value. Each possible value can have an associated Case defined.

A given Scalar Flow can flow into any number of diverse Actions, not necessarily any Scalar Switch Actions.

Formalization

Scalar Switch Action.(Scalar input, Activity, Domain) -> Scalar Flow.(Flow, Activity, Domain)