Na UML 2.0, a OCL (object constraint language) é uma linguagem formal usada para descrever restrições em modelos UML, podendo ser também utilizada em classificadores.