28-07-2011, 04:32 PM
The case of default path application for junctions residing on transitions between two states is effectively covered by rule 043H.
Rule 043I is most concerned with ensuring there is always a clearly defined path from the start point through to the single end point in a flowchart. On transitions between states there is not the same need to ensure a path through to a single end point and as a result it is not the case that a default transition from a junction is required in all circumstances on state transition paths.
See for instance Example 3 in Rule 043H where the junction does not have or require a default transition. If we were to follow the spirit of Rule 043I here and take a default transition from the mid-point junction back to state A then the statechart will exhibit different execution properties; in the original form if ‘a > C1’ and ‘b
Rule 043I is most concerned with ensuring there is always a clearly defined path from the start point through to the single end point in a flowchart. On transitions between states there is not the same need to ensure a path through to a single end point and as a result it is not the case that a default transition from a junction is required in all circumstances on state transition paths.
See for instance Example 3 in Rule 043H where the junction does not have or require a default transition. If we were to follow the spirit of Rule 043I here and take a default transition from the mid-point junction back to state A then the statechart will exhibit different execution properties; in the original form if ‘a > C1’ and ‘b
<t></t>