constraints - 如何编写 OCL 约束

Question

我是 OCL 新手，我在 eclipse luna 4.4.2 上使用纸莎草纸类调用地址具有约束的属性出处{出处应是强制性的}

我应该如何编写适合正式语言的OCL约束？还想知道如何验证语法的正确性吗？

Answer 1

如果是集合，它会检查非空，否则它会检查属性是否非空。

context Address inv: self.provenance->notEmpty()

对于其他类，您必须为每个属性执行此操作。如果您想对具有一个不变量的每个属性执行此操作，则必须在元模型上制定它们。