如何写OCL约束

Question

我是OCL的新手，我在eclipse luna 4.4.2上使用纸莎草纸 我有一个名为CLIENT的类图，其约束为{所有属性超出范围}，第二个类名为Customer，约束为{所有属性为必需};另一个类调用具有属性出处的类具有约束{来源必须是必需的}

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

Answer 1

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

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

对于其他类，您必须为每个属性执行此操作。如果要对每个具有一个不变量的属性执行此操作，则必须在元模型上进行表达。