OCL
Origem: Wikipédia, a enciclopédia livre.
OCL é um acrónimo de Object Constraint Language (ou linguagem para especificação formal de restrições, em português). É uma linguagem declarativa para descrever as regras que se aplicam aos modelos UML desenvolvidos na IBM e que agora são parte do padrão UML.
A linguagem para especificação formal de restrições é uma linguagem de texto precisa que fornece expressões em um modelo orientado a objeto que não possa ser expressado pela notação diagramática.
O OCL complementa os modelos UML fornecendo as expressões que não têm nem as ambigüidades da língua natural nem a dificuldade inerente de usar a matemática complexa.