关于UML 2.5.1中Generalization::isSubstitutable()默认值的疑问

首先明确规范定义：

在UML 2.5.1规范第180页的9.9.7.4节“属性”部分中，Generalization的isSubstitutable属性声明为：isSubstitutable : Boolean [0..1] = true。
该属性的语义划分：

• true：特定Classifier的执行轨迹是通用Classifier的超集，可在任意场景替代通用Classifier
• false：无上述替代约束
• 未设置（返回null）：建模者未声明是否存在该约束

你提出的矛盾点非常关键：[0..1]的多重性原本是为了用null表达“建模者未声明意图”，但默认值true会让未显式设置的属性直接返回true，导致客户端无法区分“建模者明确设为true”和“建模者未声明”两种情况。你认为合理的设计应该是二选一：要么去掉默认值保留[0..1]，要么将多重性设为1..1并保留默认值，甚至倾向于后者且去掉默认值。

以下是这种设计可能的底层逻辑：

1. 建模实践的默认行为优先 #

UML的核心目标是降低建模成本，而泛化关系最符合直觉的行为就是遵循里氏替换原则（LSP）——也就是isSubstitutable=true是绝大多数建模场景的默认需求。设置默认值true，可以让建模者无需每次创建泛化都手动配置这个属性，只有当需要刻意打破LSP时，才显式设置为false，极大减少重复操作。

2. 历史版本的兼容性考量 #

UML规范是迭代演进的，早期版本并没有isSubstitutable这个属性，默认所有泛化关系都满足替换原则。在新增该属性时，为了保证旧模型导入新工具后行为完全一致，必须将默认值设为true，否则旧模型的泛化关系会被误判为“未声明”或“不可替换”，破坏兼容性。而[0..1]的多重性，可能是为了给工具迁移旧模型时留有余地——比如部分工具会将旧模型中无对应属性的泛化标记为null，再通过默认规则返回true，而非直接硬编码true值。

3. 工具实现的灵活性需求 #

从工具实现层面看，[0..1]的多重性允许工具在存储模型时，只保留显式设置过的属性值：如果建模者未设置该属性，工具可以不存储这个字段（对应null），当客户端查询时，再根据默认规则返回true。这种设计既节省了存储资源，又能保证语义上的一致性——对建模者来说，“未设置”和“设为true”的行为效果一致，但工具内部可以做优化。

4. 语义的简化表达 #

规范中定义null为“建模者未声明”，但在实际建模场景中，“未声明”几乎等同于“遵循默认的替换原则”。设置默认值true，其实是将这种模糊的“未声明”语义直接映射到最常用的行为上，避免建模者陷入不必要的决策——只有当需要明确打破规则时，才需要主动设置属性值。

内容的提问来源于stack exchange，提问作者Robert Hairgrove