You
can check your UML models and diagrams to ensure that they meet the constraints
that are defined by the UML. You can also check for compliance with constraints
that you defined or that are supplied by other applications.
Validating UML models and diagrams At any time during the construction
of a UML model or diagram, you can check that it complies with the
defined constraints and ensure that no broken cross-model references
exist.
Validating OCL constraints in UML models In
UML models, you can validate the syntax of a constraint that was defined by
using Object Constraint Language (OCL). You can also express the body of a
constraint using a natural language such as English, a programming language,
or a mathematical notation. For more information about OCL, read the Unified
Modeling Language (UML) specification that is available on the Object Management
Group (OMG) Web site.