PowerDesigner provides default model checks to verify the validity of associations.
| 
                             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. 
  | 
| 
                             Number of links >= 2  | 
                             An association is isolated and therefore does not define a relationship between entities. 
                            
                            
                        
  | 
| 
                             Number of links = 2 with an identifier link  | 
                             An identifier link introduces a dependency between two entities. An association with this type of link must be binary. 
                            
                            
                        
  | 
| 
                             Number of identifier links <= 1  | 
                             An identifier link introduces a dependency between two entities. There can only be one identifier link between two entities otherwise a circular dependency is created. 
                            
                            
                        
  | 
| 
                             Absence of properties with identifier links  | 
                             An association with an identifier link cannot have any properties. 
                            
                            
                        
  | 
| 
                             Bijective association between two entities  | 
                             There are bijective associations between two entities when a two-way one to one association between the entities exist. This is equivalent to a merge of two entities. 
                            
                            
                        
  | 
| 
                             Maximal cardinality links  | 
                             An association with more than two links can only have links with a maximum cardinality greater than one. 
                            
                            
                        
  | 
| 
                             Reflexive identifier links  | 
                             An identifier link introduces a dependency between two entities. An association with this type of link cannot therefore be reflexive. 
                            
                            
                        
  | 
| 
                             Name uniqueness constraint between many-to-many associations and entities  | 
                             A many-to-many association and an entity cannot have the same name or code. 
                            
                            
                        
  |