如何编写OCL约束

Question

我是OCL新手，我在eclipse露娜4.4.2上使用的是纸莎草纸。我有一个名为CLIENT的类图，其约束为{所有属性均超出范围}，第二个名为Customer的类，其约束为{所有属性均为强制的}，另一个类调用地址的属性调用地址为属性的出处，其约束为{provenance be mandatory}

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

Answer 1

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

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

对于其他类，您必须对每个属性执行此操作。如果你想用一个不变量对每个属性都这样做，你必须在元模型上对它们进行形式化。