有没有人设法检查Eclipse Papyrus中建模的类图上的OCL约束？我已经定义了一个简单的测试配置文件，只对一个构造型属性有一个约束：
{OCL} self.property > 0
构造型扩展了属性元类，因此我将它应用于类属性，并将构造型的属性设置为0.但是我从未得到验证＆gt;的错误。从上下文菜单中验证模型命令。
任何帮助都会非常感激。
先谢谢。
答案 0 :(得分：5)
我回答自己可能遇到同样问题的其他人。
OCL限制检查对Papyrus 0.9.x不起作用你必须下载最新的OCL和Papyrus的nighlty版本。
您可以从这些存储库下载它们：
请注意，您必须使用Eclipse Kepler而不是Juno。