有没有人设法检查在 Eclipse Papyrus 中建模的类图上的 OCL 约束？我已经定义了一个简单的测试配置文件，其中只有一个构造型属性约束:
{OCL} self.property > 0
构造型扩展了 Property 元类，所以我将它应用到一个类属性上，并将构造型的属性设置为 0。但是我从未在 Validation > Validate Model 命令中遇到错误上下文菜单。
如有任何帮助，我们将不胜感激。
提前致谢。
最佳答案
我为可能有同样问题的其他人回答自己。
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。
关于eclipse-plugin - Eclipse Papyrus 上的 OCL 约束检查，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15897583/