2. MBSE核心建模语言与变更载体
在MBSE中，模型不是一张张孤立的图，而是一套相互引用、彼此约束的语义网络。变更影响分析之所以能够“顺藤摸瓜”，前提是每一类SysML图都承担了明确的变更载体角色：有的记录需求条目及其派生关系，有的定义系统结构与接口，有的描述行为时序与状态迁移，有的把行为分配到结构上，还有的用参数约束把性能指标与设计变量绑定。理解这些图各自“承载什么变更信息”，是后续做影响传播与配置基线的基础。
一、七类图在变更链中的分工
可以把SysML图按“需求—结构—行为—参数—分配”五个视角来理解其变更载体作用：
- 需求图（req）：承载需求条目、需求层级（父子、派生）、以及
<<derive>>、<<satisfy>>、<<verify>>、<<refine>>等关系。需求文本、优先级、验证方法、验收准则的修改，都会在此图中形成可追踪的变更节点。 - 块定义图（bdd）：承载系统/子系统的块、属性、端口、值类型、以及组合、泛化、关联等结构关系。块的增删、属性类型或基数的调整，是结构类变更的主要来源。
- 内部块图（ibd）：承载块内部部件实例、端口连接、连接器与接口。接口协议、连接拓扑、端口方向的变化，会直接影响上下游部件的兼容性。
- 活动图（act）：承载功能分解、控制流、对象流、输入输出参数。功能步骤、判断分支、并发汇合的变化，会改变行为执行路径。
- 状态机图（stm）：承载状态、迁移、事件、守卫条件与动作。状态集合、迁移触发条件、进入/退出动作的修改，会影响系统模式切换逻辑。
- 参数图（par）：承载约束块、约束参数、绑定连接器与值属性。性能方程、设计变量、约束边界的调整，会触发参数传播与再计算。
- 分配关系（allocation）：承载需求到结构、行为到结构、行为到行为的映射。分配矩阵或分配关系的改变，是跨视角影响传播的关键跳板。
这七类图并非平行独立，而是通过模型元素引用形成一张有向的变更传播网。下图给出一个典型的变更载体关系示意：需求变更如何经由分配关系落到结构、行为与参数上。
二、每类图承载的变更信息粒度
做影响分析时，不能只说“需求图变了”，而要定位到具体元素与关系。下面按图型给出变更信息的粒度与典型触发条件：
| 图型 | 承载的变更元素 | 典型变更触发 | 直接下游影响 |
|---|---|---|---|
| 需求图 req | 需求条目、派生关系、验证方法、验收准则 | 指标阈值调整、新增派生需求 | satisfy/verify 目标块与测试用例 |
| 块定义图 bdd | 块、属性、端口、值类型、组合/泛化 | 新增子系统、属性类型或基数变化 | ibd 连接器、par 值属性、分配目标 |
| 内部块图 ibd | 部件实例、端口、连接器、接口 | 接口协议升级、连接拓扑调整 | 上下游端口兼容性、信号流 |
| 活动图 act | 动作、控制流、对象流、输入输出参数 | 功能步骤增删、判断分支调整 | 分配到的块、状态机迁移 |
| 状态机图 stm | 状态、迁移、事件、守卫、动作 | 新增工作模式、迁移条件修改 | 活动图动作、结构模式配置 |
| 参数图 par | 约束块、约束参数、绑定连接器、值属性 | 性能方程修改、设计变量边界调整 | 值属性传播、需求验收指标 |
| 分配关系 | 需求→结构、行为→结构、行为→行为映射 | 分配目标变更、矩阵重排 | 跨视角影响传播路径 |
三、一个可操作的变更传播示例
假设某无人机飞控系统在需求图中将“巡航高度保持误差”从 ±15 m 收紧为 ±8 m。这是一个典型的需求变更，其传播路径如下：
- 需求图：修改需求条目
REQ-ALT-003的验收准则，并检查其<<verify>>指向的测试用例是否需要同步更新。 - 分配关系：该需求通过
<<satisfy>>分配到“高度控制律”块，分配关系本身不变，但被分配目标的约束条件需要重新审视。 - 参数图：高度控制约束块中的误差方程
e_h = h_cmd - h_meas及其增益参数需要重新整定，检查是否仍满足 ±8 m 边界。 - 块定义图：若原传感器精度不足，可能需要更换高度传感器块的值类型或增加冗余属性。
- 内部块图：传感器更换后，其端口类型、连接器与接口协议可能变化，需检查与飞控计算机的兼容性。
- 活动图与状态机图：高度保持功能的动作参数、状态迁移守卫条件（如“误差超限则退出巡航”）需要同步调整。
<<verify>> 测试用例是否通过。若参数计算结果仍超差，则需回溯到 bdd 或 ibd 调整设计，而不是只改需求文本。
四、变更载体与配置项的关系
在配置管理中，上述每一类图及其内部元素都可以成为配置项（CI）。实际做法是：为需求条目、块、接口、约束块、状态机、分配关系分别建立唯一标识与版本号，并在模型库中记录它们之间的引用关系。当某个元素发生变更时，通过引用关系反向查询所有依赖它的元素，形成影响集。例如，修改一个端口类型，影响集包括：使用该端口的 ibd 连接器、绑定该端口的值属性、以及通过分配关系关联的活动图动作。
因此，SysML图不仅是建模语言，更是变更信息的结构化载体。需求图回答“为什么变”，bdd/ibd 回答“结构上哪里变”，act/stm 回答“行为上怎么变”，par 回答“性能上变多少”，allocation 回答“变更如何跨视角传播”。把这五类信息串起来，才能从一张变更单走到完整的影响分析结论。