Com referência a engenharia de software e uso de UML para a modelagem de sistemas, julgue os itens subsecutivos.
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.