Transition and Flow Checks

PowerDesigner provides default model checks to verify the validity of transitions and flows.

Check	Description and Correction
Transition / flow without source or destination	The transition or flow has no source or destination. Manual correction: Select or create an object as source or destination. Automatic correction: None
Useless condition	If there is only one output transition/flow, there is no reason to have a condition or type on the transition/flow. Manual correction: Remove the unnecessary condition or type, or create another transition/flow with another condition or type. Automatic correction: None
Missing condition	If an object has several output transitions/flows, or if the transition/flow is reflexive, each transition/flow must contain a condition. In a statechart diagram, a transition must contain an event or condition. Manual correction: Define a condition, or create a synchronization to specify a parallel execution Automatic correction: None
Duplicated transition between states/ Duplicated flow between activities	Two parallel transitions (with the same extremities) must not occur simultaneously, but must rather be governed by conditions (and, for transitions, trigger events). Manual correction: Change one of the trigger events or conditions Automatic correction: None