PowerDesigner provides default model checks to verify the validity of starts and ends.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Start/end name and code uniqueness  | 
                        
                             Start and end names and codes must be unique in the namespace (model or package). Manual correction: Modify the duplicate name/code Automatic correction: Appends a number to the duplicate name/code  | 
                    
| 
                             Missing transition  | 
                        
                             Starts and ends must be linked to an object of the statechart or activity diagram. Manual correction: Create a transition from the start and/or to the end Automatic correction: None  |