OCL限制检查Eclipse Papyrus

Vin*_*ent 3 uml eclipse-plugin check-constraints ocl papyrus

有没有人设法检查Eclipse Papyrus中建模的类图上的OCL约束?我已经定义了一个简单的测试配置文件,只对一个构造型属性有一个约束:

{OCL} self.property > 0
Run Code Online (Sandbox Code Playgroud)

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

任何帮助都会非常感激.

谢谢你提前.

Vin*_*ent 5

我回答自己可能遇到同样问题的其他人.

OCL约束检查对Papyrus 0.9.x不起作用你必须下载最新的OCL和Papyrus的nighlty版本.

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

请注意,您必须使用Eclipse Kepler而不是Juno.