UMLR — Figures 15.45 and 15.46 in the spec are bad examples as they are of malformed activity diagrams

Figures 15.45 and 15.46 in the spec are bad examples as they are of malformed activity diagrams, which can never execute. The first behavior is a successor of the first behavior, and, as such, can never execute.

The figures can be fixed by preceding the first behavior with a start node which has as its successor a merge node, which has as its successor the first behavior. Then the loop back from the downstream decision node must be connected to the merge node.