OCL 2.0 (Object Constraint Language 2.0) es un lenguaje para la descripción formal de expresiones en los modelos UML. Se fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. Sus expresiones pueden representar invariantes, precondiciones, postcondiciones, inicializaciones, guardias, reglas de derivación, así como consultas a objetos para determinar sus condiciones de estado. OCL fue inicialmente desarrollado por IBM.Se trata de un lenguaje sin efectos de borde, de manera que la verificación de una condición, que se presupone una operación instantánea, nunca altera los objetos del modelo. Su papel principal es el de completar los diferentes artefactos de la notación UML con requerimientos formalmente expresados.