PowerDesigner provides default model checks to verify the validity of database packages.
| 
                             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. 
  | 
| 
                             Database package name and code maximum length  | 
                             The database package name and code length is limited by the maximum length specified in the DBMS definition and in the naming conventions of the model options. 
                            
                            
                        
  | 
| 
                             Existence of package sub-object  | 
                             A database package must have a number of sub-objects  defined in order to be correctly modeled. 
                            
                            
                        
  |