在 Java 中使用 OCL 验证 xmi 模型答案

【问题标题】：Validate xmi model using OCL in Java在 Java 中使用 OCL 验证 xmi 模型
【发布时间】：2013-10-14 21:11:49
【问题描述】：

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

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

例如

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

找不到。

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

【问题讨论】：

【解决方案1】：

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

取自帮助：

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

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

【讨论】：

【解决方案2】：

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

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

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

【讨论】：