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