モデルが 1 つ以上の OCL 制約を起動するかどうかを確認する必要があります。モデルは XMI に保存され、EMF が読み込まれます。OCL 制約は自動的に生成されます (文字列など)。
EObject の制約をチェックする方法を見つけました
helper.setContext(ecClass);
query = helper.createQuery(expression);
Object o = ocl.check(eo, invariant);
o には結果が含まれます: true または false。
モデルのすべてのオブジェクトを「手動で」チェックする必要がありますか、またはそれを直接（そしておそらくより効率的に）作成する方法、メソッド、またはクラスがありますか？
注意: - モデリング情報はハードコーディングされていません: メタモデル、モデル、および OCL は最も一般的な方法で操作されます。DresdenOCL を使ってみたのですが、パッケージの登録が面倒な理由がわかりません。