在Java中使用OCL验证XMI模型

Question

我正在尝试创建一个独立的Java应用程序，该应用程序接受一个xmi模型和一个OCL文件，其中包含应用于该模型的元模型的约束。 然后，应用程序根据ocl验证模型。

我设法使用EMF在eclipse中做到这一点。 但是，当我开始创建Java应用程序时，缺少许多库。 其中一些我可以在plugins目录中找到，但有些似乎丢失了。

例如

org.eclipse.ocl.examples.library.oclstdlib.OCLstdlib;

找不到。

有没有一种直接的方法，可以使用EMF来完成我尝试做的事情。 我一直在尝试创建类似于以下内容的内容：

Answer 1

缺少某些东西通常意味着配置错误。 没有更多信息，我只能向您指出OCL帮助，它在其中解释了为什么以及如何需要进行一些手动注册才能在独立模式下执行OCL代码。

来自帮助：

“如果您在Eclipse中使用Eclipse OCL，则应该发现插件注册机制会自动为您提供适当的注册。

但是，如果您在Eclipse之外（例如在JUnit测试中）使用Eclipse OCL，则必须在代码中提供相应的注册。”

Answer 2

eclipse插件位于我的.eclipse下的个人文件夹中。 我完全忘记了插件的个人实例。 相反，我重新安装了所有内容，只是意识到这些库不在安装目录的plugins文件夹中。

通过以下链接安装EMF和OCL插件是正确的。

http://download.eclipse.org/releases/kepler

注意：您可能必须更改上述url以适合您特定的eclipse版本。