Skip to content
Leon Starr edited this page Jan 22, 2022 · 1 revision

R16 / 1:Mc

Process chooses case in zero, one or many Switch

Switch case is chosen by exactly one Process


If a Process makes a decision consisting of two or more mutually exclusive results (Cases), it manages a Switch. In fact, a Process may make multiple decisions each with its own set of mutually exclusive Cases.

A Switch exists for each such set of mutually exclusive outcomes.

Formalization

Switch.(Deciding process, Graph) -> Process.(Name, Graph)
Clone this wiki locally