精度の高い受件を定義するためにRDRAはシステムを可視化するためにモデルとして構造化されています。その構造を利用してRDRA定義の不整合を機械的に検証することができます。Spreadsheet)の「不整合」シートに不整な定義が表示されます。定義ファイルの参照設定が完了すると、定義内容を取込み自動的に不整合な定義が「不整合」シートに表示されます不整合の意味は各々のカラムの1行目のコメントに表示されます。