Constraint Language”, is a modeling language that is part of the
UML standard version 2.0. It is used to specify all kinds of
constraints, pre- and post-conditions, guards, etc. over the
objects in the different models.
Constraints can be set over the meta-model and/or over the
With OCL business standards for the language, project, etc. can
be define. This constraints will be checked by en interpreter.
In addition to Boolean data, the interpreter can also return
numerical data, sets, etc. so it can be use as a query over
meta-models and/or models.
Another advantage of
is the possibility of obtaining, metrics for the applications.
When evaluating a system complexity, Metrics gives productivity
and quality figures related with the amount of error occurred
during the program life cycle.