Eclipse plugin Eclipse纸草上的OCL约束检查

有人在Eclipse Papyrus中建模的类图上检查OCL约束吗？我已经定义了一个简单的测试概要文件，在原型属性上只有一个约束：

{OCL} self.property > 0

构造型扩展了属性元类，因此我将其应用于类属性，并将构造型的属性设置为0。但是上下文菜单中的Validation>Validate Model命令从未出错

任何帮助都将不胜感激

---

提前感谢。

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

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

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

请注意，您必须使用Eclipse开普勒，而不是Juno