PowerDesigner provides default model checks to verify the validity of sequences.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Sequence name and code uniqueness  | 
                        
                             Default names and codes must be unique in the model. Manual correction: Modify the duplicate name/code Automatic correction: Appends a number to the duplicate name/code  | 
                    
| 
                             Sequence code maximum length  | 
                        
                             The code of the sequence is longer than the maximum allowed by the DBMS. Manual correction: Reduce the length of the code Automatic correction: Reduces the code to a permissible length  |