Ecore、genmodel和OCL

Question

我正在通过EMF中的Ecore定义领域特定建模语言的元模型。因此，我从相关的genmodel生成一个编辑器，我可以使用它来创建符合元模型的模型。我想对元模型的某些元素可以采用的值指定一些OCL约束。如果我能在Ecore模型中指定这些约束，并让相关的检查自动生成编辑器Java代码，那就太好了。

有没有一种标准的方法来做到这一点？

Answer 1

您应该了解一下Eclipse中使用"OCL in Ecore"的OCL项目的最新工作，或者您可以尝试使用其他方法将OCL与OCL Juno documentation中指定的Ecore集成。

Answer 2

第一步是决定如何向ecore (meta-)模型添加约束。目前，我知道有两种方法可以做到这一点：

1-将ocl表达式嵌入到ecore模型的注释元素中。

2-在ecore旁边的单独文件中包含OCL表达式。

有关第一种方法的更多信息，请查看OCLInEcore，要了解第二种方法，请查看OCLComplete。似乎他们提供了一些API来检查给定模型的OCL约束(一致性检查)。

对于您的目的，似乎OCLInEcore是合适的。您可以将ocl嵌入到ecore中，并且可以使用OCLInEcore提供的API来检查给定的模型是否满足ocl约束。

希望这能有所帮助。