PowerDesigner provides default model checks to verify the validity of realizations.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Redundant realizations  | 
                        
                             Only one realization is allowed between two given objects. Manual correction: Remove redundant realizations Automatic correction: None  | 
                    
| 
                             Realization generic missing child type parameters  | 
                        
                             A child of a generic classifier must resolve all of the type parameters defined by its parent. Manual correction: Resolve the missing type parameters. Automatic correction: None.  | 
                    
| 
                             Realization generic child cannot be bound  | 
                        
                             A bound classifier cannot be the child of any classifier other than its generic parent. Manual correction: Remove the additional links. Automatic correction: None.  |