UML モデルの検証と修復
UML モデルと UML ダイアグラムをチェックして、UML によって定義された制約を満たしているかどうかを確認することができます。ユーザーが定義した制約や、 他のアプリケーションから提供された制約との整合性も、 チェックすることができます。
UML モデルおよび UML ダイアグラムの検証
UML モデルまたは UML ダイアグラムの構築中いつでも、 それらが定義済みの制約に準拠しているかをチェックして、 モデル間参照が破損していないことを確認することができます。
UML モデルの検証エラーの修復
UML モデルまたは UML ダイアグラムの検証を行ったときに発見された エラーを、修復することができます。
UML モデルの検証規則の識別
UML モデルまたはダイアグラムを検証したときに、エラー、警告、または覚え書を表示させた規則を識別できます。
UML モデルでの OCL 制約の検証
UML モデルでは、 オブジェクト制約言語 (OCL) を使って定義された制約の構文を、 検証することができます。英語のような自然言語、 あるいはプログラミング言語や数学的表記によって、 制約の本体を表記することもできます。 OCL について詳しくは、オブジェクト管理グループ (OMG) の Web サイトで入手できる、 統一モデリング言語 (UML) の仕様をご覧ください。
関連概念
UML モデルと UML ダイアグラム
UML の制約
フィードバック