Model Validation

model_validation

You use Model Validation to check UML models against known UML rules (which you identify when configuring validation) as well as any constraints defined within the model using the Object Constraint Language (OCL). You can run Model Validation against a single UML element, a diagram or an entire package.

Access    Project | Model Validation | Validate Selected (Ctrl+Alt+V)

Validation Concepts

Concept

Detail

See also

Validating Objects

Validating a UML:

Element validates the element and its children, its features (attributes and operations) and its relationships (connectors)
Diagram validates the diagram itself (for correctness) as well as any elements and connectors within the diagram
Package validates the package and all sub-packages, elements, connectors and diagrams within it

 

 

Example - Model Violation

The following UML diagram contains several basic violations of the UML rules:

 

ModelValidationExample

 

If you run Model Validation on this diagram, the following violations are identified in the System Output window:

A UML ExpansionRegion (ExpansionRegion1) is missing its child input ExpansionNode
An invalid self-generalization exists on Class2 (UML elements cannot be self-generalized)
An OCL violation exists for the anonymous Association (between Class2 and Object1)
A UML ExceptionHandler (ExceptionHandler1) is missing its child input ObjectNode

 

 

Learn more