A UML (Unified Modeling Language) é uma
linguagem de modelagem que pode ser
empregada para a visualização, a
especificação, a construção e a documentação
de artefatos que façam uso de sistemas
complexos de software. Object Constraint
Language (OCL) é uma linguagem declarativa
para descrever as regras que se aplicam aos
modelos da UML. Qual sentença abaixo é
verdadeira acerca da OCL?