A OCL distingue três diferentes tipos de coleção: Set, Seq e Bag.
B Integer, Real, Double e String são tipos básicos predefinidos da OCL.
C OCL pode ser utilizada para especificar invariantes em classes e tipos no modelo de classe.
D São nomes de operações que podem ser realizadas em tipos de coleção: select, iterate, intersect e invert.
E OCL foi desenvolvido como uma linguagem de modelagem de métodos dentro da divisão desoftwareda IBM por Grady Booch.