PowerDesigner provides default model checks to verify the validity of abstract data types.
| 
                             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. 
  | 
| 
                             Abstract Data Type code maximum length  | 
                             The code of the ADT is longer than the maximum allowed by the DBMS. 
                            
                            
                        
  | 
| 
                             Instantiable object type must have attributes and no abstract procedures  | 
                             If an abstract data type of type Object (or SQLJ Object) is instantiable (Abstract option not checked), then it must have attributes and no abstract procedure. 
                            
                            
                        
  | 
| 
                             Abstract object type must not have tables based on it  | 
                             If an abstract data type of type Object (or SQLJ Object) is not instantiable (Abstract option checked), then it must not have tables based on it. 
                            
                            
                        
  |