3

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

{OCL} self.property > 0

构造型扩展了属性元类，因此我将它应用到类属性上，并将构造型的属性设置为 0。但是上下文菜单中的“验证”>“验证模型”命令从未出现错误。

任何帮助将不胜感激。

提前谢谢。

4

1 回答 1

5

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

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

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

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

于 2013-04-23T15:16:11.450 回答