Object Constraint Language

OCL の元となったのは、第二世代のオブジェクト指向分析・設計手法 Syntropy である。OCL 1.4 で制約言語の仕様が追加された。OCL 2.0 では、汎用のオブジェクト・クエリ言語の定義を含むよう拡張された。

OCL 言語の構文は以下の4つに分けられる:

1. コンテキスト - 文が正しいといえる状況の制限を定義する
2. プロパティ - コンテキストの特性を表現する（例えば、コンテキストがクラスである場合、プロパティはその属性となる）
3. オペレーション - プロパティを操作・修正する演算（算術演算や集合的演算）
4. キーワード - 条件などを表現する（if、then、else、and、or、not、implies など）

OCL はUMLを補うものであり、自然言語の曖昧さを排していると同時に複雑な数学的記法を扱わなくてもよいという特徴がある。OCL は、図に基づいたモデルのためのナビゲーション言語でもある。

OCL は、MOFのメタ要素と表明を関連付けることで MOF のモデルをより明確化する。

モデル駆動工学やモデル駆動型アーキテクチャ (MDA) では、モデル変換の記法が重要となる。OMG はモデル変換の標準であるQVT（MOF/QVT）を定義した。GReAT、VIATRA、ATLといったモデル変換言語があるが、これらのQVT標準への対応レベルは様々である。これらの多くは OCL に基づいて構築されている。また、OCLのサポートはQVT準拠の主要な条件である。

ナビゲーション言語として見た場合、OCLはXPathと対比することができる。XPath が XMLツリーに対してナビゲーションを行うのに対して、OCL は MOFベースのモデルやメタモデル（つまり XMIツリー）に対してナビゲーションを行う。換言すれば、OCL と UML や MOF との関係と、XPath と XML の関係が似ているのである。モデルやメタモデルに副作用のない付加情報（制約など）を与えるモデル記述言語として見た場合、OCLと同様な役割を果たす言語として Alloy などがある。