A constraint language is a language for documenting rules (constraints).
The typical objectives of a constraint language are to:
- Constrain the semantics of models produced using a modeling language.
- Thereby allow the production of more rigorous models.
The OPF class library of reusable process components contains the following predefined languages:
- Object Constraint Language (OCL), which constrains and formalizes the semantics of the Unified Modeling Language (UML)