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. |