A linguagem de restrição de objetos, ou OCL, é utilizada para especificar restrições existentes em um modelo UML de sistema que esteja sendo projetado, como é o caso das precondições e pós-condições.