UML モデルでは、Object Constraint Language (OCL) を使用して定義された、制約の構文を検証できます。また、制約の本体は、英語などの自然言語、プログラミング言語、または数学的表記を使用して表現できます。 OCL についての詳細は、Object Management Group (OMG) の Web サイトから入手可能な統一モデリング言語の仕様を参照してください。
制約に «metaConstraint» ステレオタイプが適用されているか、または制約がプロファイルで定義されている場合、制約の構文および式が検証されます。 «metaConstraint» ステレオタイプが適用されておらず、制約がプロファイルで定義されていない場合、制約の構文のみが検証されます。
OCL 制約を検証するには、「モデル・エクスプローラー」ビュー、またはダイアグラム・エディターで、任意の制約を右クリックして、「検証の実行」をクリックします。