architecture - 是否可以将 XOR 约束链接到 UML 中的另一个 XOR 约束？

Question

这是我想做的一个例子:假设我有 5 个类，我想表达这样的约束，即我们可以将类“B”或/和“C”的实例链接到“A”，如果是这样，我们就不能拥有其他任何东西，如果我们不这样做没有这些类的任何实例，我们只能有一个类“D”或“E”的实例。

我在这里查看了官方文档:https://www.omg.org/spec/UML/2.5.1/但是关于 XOR 约束的部分非常有限。因为它没有明确描述我们不能，所以我认为这是可能的，但我不确定。

感谢您的帮助。

Answer 1

在 UML 类图中，各种约束都可以以不变量 的形式包含，这些是逻辑条件，可以用简单的英语或对象约束语言 (OCL) 在附加到类(或关联)的约束矩形/框 中。

您的约束可以通过这种方式添加(附加到您的类 A)，如下所示:

但是你的约束不能用你试图表达的方式来表达。析取关联约束的特殊虚线符号不能以这种方式组合。