OCL 是否适用于复合结构图？

【问题标题】：Does OCL work with composite structure diagrams?OCL 是否适用于复合结构图？
【发布时间】：2015-10-30 23:58:57
【问题描述】：

OCL 是否意味着要与复合结构图结合使用？

还是没有意义？如果有意义，有人可以举一个可能的 OCL 约束的快速示例，例如基于此示例图source？

【问题讨论】：

OCL 不适用于图表，它用于 Elements。也许你应该解释你想要达到的目标。
@GeertBellekens 如果我们以上面链接的复合结构图为例，我想约束：“如果MainWindow的标题是“我的异或应用程序”，那么要么有一个OkButton，要么有一个CancelButton（异或）。
我不明白你为什么不能发布这样的图片，这对我来说似乎是合理的使用（如果这样的图表甚至可以受版权保护的话）

标签： uml ocl

【解决方案1】：

UML 特别提到了这种情况（规范的第 7.6 节）

约束本身可以附加到任何类型的 UML Element，或者实际上是元素的集合。

最后：

7.2.1

元素和关系的根概念为 UML 中的所有其他建模概念提供了基础。

这意味着你可以给任何东西添加约束。

【讨论】：

如果该图是一个复合结构图，例如我在我的问题中链接的那个？ @GeertBellekens 在他的评论中指出 OCL 使用元素（而不是图表）。这让我觉得你可以为各种模型/模型图编写 OCL 约束。你怎么看？
您应该定义类的 OCL 约束。然后在实例上验证。