表示一棵树，其中根只有一个此特定类型的子节点

Question

我想建模一棵树，其中类Node 由自身的多个实例组成。

现在如何表示一个约束，例如“树的根可以包含所需数量的节点，但应该只有一个这种特定类型节点的实例”（特殊节点本身可以​​包含任何东西

通过下面的图a，我们在两个组合之间有冲突，我可以添加尽可能多的specialElement到一个根，因为它们是treeNodes。

我如何表示这个约束？

Answer 1

您当前的模型有一个缺陷：root 和specialElement 都继承了它们所社会化的TreeNode 的组合。因此，您在root 和specialElement 之间表示的组合被理解为另外一个组合。

有三种简单的方法：

• 基于子集使用Jim’s excellent answer。但这需要明确记录作品每一端的角色。
• 直观地显示root 和specialElement 之间的组合是TreeNode 的反身组合的特化（只需添加generalization arrow on the diagram between the lines representing composition）。
• 删除额外的冗余组合，而是在附在root 的注释中添加constraint，例如以纯文本{ can have at most one specialElement child node }（但我相信有人会设法在OCL 中正式表达这一点;-)）

更多想法，您也可以查看 UML 中的this question about covariant associations。

Answer 2

您在关联的末尾缺少属性。更具体的属性可以子集更一般的属性，并具有正好 [1] 的多重性。