PowerDesigner provides default model checks to verify the validity of database package cursors, exceptions, procedures, types, and variables.
| 
                             Check  | 
                             Description and Correction  | 
|---|---|
Name/Code contains terms not in glossary  | 
[if glossary enabled] Names and codes must contain only approved terms drawn from the glossary. 
  | 
Name/Code contains synonyms of glossary terms  | 
[if glossary enabled] Names and codes must not contain synonyms of glossary terms. 
  | 
Name/Code uniqueness  | 
Object names must be unique in the namespace. 
  | 
| 
                             Package sub-object definition empty  | 
                             [cursors, procedures, types] These sub-objects must have a definition. 
                            
                            
                        
  | 
| 
                             Check for undefined return types  | 
                             [cursors, procedures] These sub-objects must have a return data type. 
                            
                            
                        
  | 
| 
                             Existence of parameter  | 
                             [cursors, procedures] These sub-objects must contain parameters for input values. 
                            
                            
                        
  | 
Undefined data type  | 
[variables]  Variables must have a data type. 
                            
                            
  |