Topic
Prev Next

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.

You can add to the system-provided validation rules by using an Add-In or an MDG Technology (such as BPMN) that contains its own rules.

Access

Ribbon

Design > Package > Manage > Validation > Validate Current Package

Menu

Package | Model Validation | Validate Current Package

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

This UML diagram contains several basic violations of the UML rules:

If you run Model Validation on this diagram, these 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