モデリング・プロジェクトでは、モデルおよび図を確認し、それを統一モデリング言語 (UML) により定義された制約に確実に合致させることができます。 定義した制約、または別のアプリケーションにより提供された制約の整合性を確認することもできます。