QVT-Relationsにおいて、2つのモデル間の整合性が取れているかどうかの「真偽」のみを判定する実行モードはどれか。

Checkonlyモードはモデルを変更せず、リレーションが成立しているかのみを確認する。