eclipse - Ecore、genmodel、OCL

Question

EMFのEcoreを使用して、ドメイン固有のモデリング言語のメタモデルを定義しています。したがって、メタモデルに準拠するモデルを作成するために使用できる関連するgenmodelからエディターを生成します。メタモデルのいくつかの要素が想定できる値にいくつかのOCL制約を指定したいと思います。Ecoreモデルでこれらの制約を指定し、関連するチェックでエディターのJavaコードを自動的に生成できると非常に便利です。

それを行うための標準的な方法はありますか？

Answer 1

最初のステップは、ecore（メタ）モデルに制約を追加する方法を決定することです。私が現時点で知っている2つの方法があります、あなたはこれを行うことができます：

1-ecoreモデルの注釈要素にocl式が埋め込まれている。

2-ecoreの横の別のファイルにOCL式があります。

最初のアプローチの詳細については、OCLInEcoreを参照してください。2番目のアプローチについては、 OCLCompleteを参照してください。特定のモデルのOCL制約をチェックするためのAPIを提供しているようです（適合性チェック）。

あなたの目的には、OCLInEcoreが適しているようです。oclをecoreに埋め込むことができ、OCLInEcoreが提供するAPIを使用して、指定されたモデルがocl制約を満たしているかどうかを確認できます。

お役に立てれば。

Answer 2

「OCLinEcore」を使用したEclipseでのOCLプロジェクトの最近の作業を確認する必要があります。または、OCLJunoドキュメントで指定されているEcoreとOCLを統合する別の方法のいずれかを試すことができます。