White Paper One Model

One Model, Many Interests, Many Views

Exit nodes establish the mapping between the completion of the decomposition behavior and the exit branches of the parent function. There should be at least one exit node in the function decomposition for each exit branch for the function. The name for the corresponding exit branch is shown below each exit node icon. Loop A loop construct repeats a sequence of functions or constructs until a logical condition is satisfied.

A loop construct consists of a pair of decision nodes that enclose a branch and are connected with a loop-back line. The branch can contain any number of functions and control constructs. These will be repeatedly executed in sequence. The branch will typically contain a loop exit construct to conditionally exit the loop construct. A descriptive Boolean annotation is generally provided for each loop construct and is displayed above the loop-back line. Loop Exit The loop exit construct provides the mechanism for exiting a loop. When the loop exit construct is encountered, the innermost loop is immediately terminated, enabling the construct or function following the loop.

18