PowerDesigner provides default model checks to verify the validity of procedures.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Procedure name and code uniqueness  | 
                        
                             Procedure 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  | 
                    
| 
                             Procedure code maximum length  | 
                        
                             The procedure code length is limited by the maximum length specified in the DBMS definition (MaxLen entry, in the category). Manual correction: Modify the procedure code length to meet this requirement Automatic correction: Truncates the procedure code length to the maximum length specified in the DBMS definition  | 
                    
| 
                             Procedure definition body empty  | 
                        
                             A procedure definition should have a body to specify its functionality. Manual correction: Specify a procedure body from the Definition tab of the procedure property sheet Automatic correction: None  | 
                    
| 
                             Existence of permission  | 
                        
                             Permissions are usage restrictions set on a procedure for a particular user, group or role. Manual correction: Define permissions on the procedure for users, groups and roles Automatic correction: None  |