如何在 UML 中对互斥属性进行建模？

Question

我正在 UML 中建立一个分析模型，当尝试在类图中表示对几个属性的约束时，我有点陷入困境。在下面的类中：

+-----------+
| SomeClass |
+-----------+
| isFoo     |
| isBar     |
| isBaz     |
| isQuux    |
+-----------+

所有列出的属性都是布尔类型，最后两个属性 isBaz 和 isQuux 是互斥的。我该如何表明这一点？我不想使用临时注释——更加混乱。

我能在 UML 中找到的关于约束的所有内容似乎都将它们应用于关联，而不是属性。我可以将属性分解为关联的类，但它们是简单的布尔类型，因此类似这样的事情看起来有些过分：

+-----------+
| SomeClass |
+-----------+ 0..1   isBaz   1 +-------------------+
| isFoo     |------------------| ThereCanBeOnlyOne |
| isBar     |      |           +-------------------+
|           |      |{NAND}     | isBaz             |
|           |------------------| isQuux            |
+-----------+        isQuux    +-------------------+

在 UML 中建模互斥属性的“正确”方法是什么？

Answer 1

只有两个选项：将属性建模为与布尔数据类型的关联或使用 OCL 约束。

简化和更正后的（OCL 中的等于仅带有一个“=”）可能是： context SomeClassinv not isBaz=isQuux

顺便说一句，我不确定“互斥”概念对您的确切含义。这通常会实现 XOR（标准中关联的预定义约束），但随后您会使用 NAND。在您的模型中，两个属性是否有可能具有错误值？ （我假设这在我的 OCL 约束中是不可能的）

Answer 2

我会考虑使用对象约束语言来描述它。

除了几次讲座之外，我从未真正使用过它，但我相当确定这就是您所需要的。

像这样的东西可能会表达您想要的条件：

{context SomeClass
inv isBaz==True implies isQuux==False
inv isQuux==True implies isBaz==False}

This 演示文稿可能会给您一个很好的起点。