Eclipse Papyrus 上的 OCL 约束检查

Question

是否有人设法检查在 Eclipse Papyrus 中建模的类图上的 OCL 约束？我已经定义了一个简单的测试配置文件，它对原型属性只有一个约束：

{OCL} self.property > 0

构造型扩展了属性元类，因此我将它应用到类属性上，并将构造型的属性设置为 0。但我从未遇到过使用 Validation > Validate Model 命令的错误上下文菜单。

任何帮助将不胜感激。

提前致谢。

Answer 1

我为可能有同样问题的其他人回答自己。

OCL 约束检查不适用于 Papyrus 0.9.x 您必须下载 OCL 和 Papyrus 的最新版本。

您可以从这些存储库下载它们：

• http://download.eclipse.org/modeling/mdt/papyrus/updates/nightly/kepler/
• http://download.eclipse.org/modeling/mdt/ocl/updates/nightly

请注意，您必须使用 Eclipse Kepler 而不是 Juno。