具有取决于属性值的继承的 UML 类图

Question

示例如下：

 -----------                -------------------- 
|     X     | 1..1    0..1 |    <<abstract>>    |
|           |<>------------|         Y          |
|-----------|              |--------------------|
| +a:bool   |              | +b:positiveInteger |
'-----------'              '--------------------'

在现实世界中，抽象 Y 可以是具体的 A、B 或 C，根据以下规则：

• 当a为true时，Y为A类；
• 当a是false和b == 1时，Y是B类；
• 当a 为false 和b > 1 时，Y 为C 类。

您将如何在 UML 类图中对这些继承规则进行建模？

Answer 1

您可以为此使用OCL 语言。

首先你应该扩展你的图表并引入Y的三个具体子类A、B和C，然后你需要一个像这样的OCL约束：

context X:
inv: (self.a implies self.y isOclTypeOf(A)) and
     (((not self.a) and (not self.y.isOclUndefined())) implies (self.y.b = 1 implies self.y.isOclTypeOf(B))) and
     (((not self.a) and (not self.y.isOclUndefined())) implies (self.y.b > 1 implies self.y.isOclTypeOf(C)))