UML モデルを処理する場合は、 Object Constraint Language (OCL) エディターを使用してモデル要素の特性を探索できます。 例えば、OCL ステートメントを記述して、UML モデルの すべてのクラスが所有する属性のリストを照会することが できます。 また、OCL ステートメントを制約定義で指定しなくても、構文的に有効であることを確認することもできます。