问题描述
我想对一棵树建模，在这种情况下，类 Node 由自身的多个实例组成。
现在如何指示诸如“树的根可以包含任意数量的节点，但只能具有这种特定类型节点的一个实例”之类的约束（特殊节点本身可以包含任何内容
通过下面的图a，我们在两个组合之间存在冲突，我将能够向根添加任意数量的specialElement，因为它们是treeNodes。>
我如何表示这个约束？
解决方法
您当前的模型有一个缺陷：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。