Model Checker

モデルのソルバー有効性のチェック、モデリングの問題の特定、および自動または主導によるモデリングの問題の修正を行います。

Model Checkerを使用すると、ユーザーの必要要件毎に下記によってチェックを管理することができます：
  • チェックと修正をインタラクティブに作成 / 編集
  • チェックのレベルを変更
  • チェックをカスタムフォルダーに整理
  • チェックをアクティブ化 / 非アクティブ化
  • モデルチェックの設定の.xmlファイルへの保存と読み出し
メニューバーから、Tools > Model Checkerをクリックします。チェックには2つのレベルがあります：
Elements
要素の品質を検証します。
ソルバー
モデルのエラーと警告をチェックします。