如何在SysML中有效展示二选一的条件组合关系？

针对你提到的轮子两种组成方案的二选一需求，仅用0..1多重度无法体现互斥逻辑，以下是几种SysML原生的解决方案：

1. 用约束块定义互斥规则 #

• 先搭建基础块结构：Wheel块包含必选的Rim（多重度1），以及TubelessTire、InnerTube、TubeTypeTire三个属性（均设为0..1）。
• 创建名为WheelCompositionConstraint的约束块，添加两个核心布尔约束：
  • TubelessTire::exists XOR (InnerTube::exists AND TubeTypeTire::exists)
  • NOT (TubelessTire::exists AND InnerTube::exists)（额外兜底，防止非法组合）
• 通过约束连接器将该约束块绑定到Wheel块的属性上，强制实例必须满足二选一的配置逻辑。

2. 基于块变体实现方案隔离 #

• 定义BaseWheel抽象块，仅包含必选的Rim属性。
• 创建两个具体的变体块：
  • TubelessWheel：继承BaseWheel，添加TubelessTire属性（多重度1），标记为<>
  • TubeTypeWheel：继承BaseWheel，添加InnerTube（多重度1）和TubeTypeTire（多重度1）属性，标记为<>
• 在模型的需求或文档中明确：所有轮子实例必须是这两个变体中的一个，直接通过继承和变体构造型实现二选一的方案划分。

3. 用状态机控制配置状态 #

• 给Wheel块附加状态机，定义三个状态：Unconfigured、TubelessConfigured、TubeTypeConfigured
• 设置状态转换规则：
  • 从Unconfigured到TubelessConfigured：触发条件为添加TubelessTire，转换后禁止添加InnerTube和TubeTypeTire
  • 从Unconfigured到TubeTypeConfigured：触发条件为同时添加InnerTube和TubeTypeTire，转换后禁止添加TubelessTire
• 状态机与块的属性变更联动，确保配置过程中不会出现非法组合。

4. 参数化约束绑定配置选项 #

• 在参数图（Parametric Diagram）中，为Wheel块定义布尔参数isTubeless（取值仅为true/false）。
• 建立参数与属性多重度的约束关系：
  • 当isTubeless = true时，TubelessTire多重度设为1，InnerTube和TubeTypeTire多重度设为0
  • 当isTubeless = false时，InnerTube和TubeTypeTire多重度设为1，TubelessTire多重度设为0
• 通过这种参数驱动的方式，将二选一的逻辑直接绑定到属性的实例化规则上。

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