UML14 — Transition WFR badly written

Summary: Rules Transition [6] and [7] pg. 105-106 should be rewritten. One of
the
problems with them is:

In rule Transition [6] pg. 105-106, the fact that the originating
regions
of a group of transitions entering a fork pseudostate should be
orthogonal
is not caught. A configuration like:
state A with subregions B and C, b1 substate of B and transitions t1
and t2 both exiting b1 and entering the same join state
satisfies the constraint, although it is clearly wrong.

The same problem appears for rule [7] pg. 106, for fork pseudostates.

No Data Available