4. SysML语言精要与工业装备建模基础
SysML（Systems Modeling Language）是在UML基础上为系统工程扩展而来的建模语言，它保留了UML中适合系统描述的图形，同时新增了需求图与参数图，形成九类图。对工业装备而言，关键不是把九类图都画一遍，而是理解每类图回答什么问题、在装备研制哪个阶段最有用，以及它们之间如何通过同一套模型元素互相引用。本章先梳理七类核心图的适用场景，再给出建模工具入门与模型组织方法。
一、七类图在装备建模中的分工
块定义图（BDD）回答“系统由哪些块组成、块之间是什么关系”。块（Block）是SysML的核心结构单元，可表示机械部件、电气组件、软件模块或整机。BDD中通过组合、引用、泛化、关联刻画层次与类型关系。例如某型电驱动总成，可定义“电驱动总成”块，其组合关系下含“驱动电机”“减速器”“控制器”“冷却回路”四个子块，并标注各自的关键值属性，如额定功率、速比、防护等级。
内部块图（IBD）回答“块内部各部件如何连接、端口之间传什么”。IBD把BDD中某个块的内部结构展开，用端口（Port）、连接器（Connector）和项流（Item Flow）表达物理接口与信号接口。装备建模中，IBD特别适合表达机械接口（法兰、轴）、电气接口（高压母线、CAN）和流体接口（冷却液进/出口）。
参数图（PAR）回答“性能指标之间如何约束”。参数图通过约束属性与绑定连接器，把工程方程与模型元素关联。例如电机转矩 T=9550P/n，可将功率 P、转速 n 作为输入参数，转矩 T 作为输出参数，绑定到“驱动电机”块上，从而在参数变化时观察性能是否满足需求。
活动图（ACT）回答“功能如何分解、控制流与数据流如何走”。它适合描述装备的工作过程，如“启动—自检—上高压—运行—下高压—停机”的时序逻辑，也可表达并行分支与决策条件。
状态机图（STM）回答“对象在生命周期内经历哪些状态、什么事件触发迁移”。对控制器、整机工作模式尤其重要，例如“待机—就绪—运行—故障—急停”的状态迁移，并可在状态中定义入口/出口动作。
序列图（SD）回答“参与者之间按时间顺序如何交互”。它适合描述控制器与执行器、上位机与下位机之间的报文交互，如诊断请求与响应、故障上报流程。
用例图（UC）回答“系统为哪些外部角色提供什么服务”。在装备研制早期，用例图用于界定系统边界与利益相关者需求，如操作员、维护人员、上位监控系统分别与装备发生哪些用例。
二、七类图的协同关系
这些图并非孤立，而是围绕同一模型仓库互相引用：用例图界定边界，BDD建立结构，IBD细化接口，参数图约束性能，活动图与状态机图描述行为，序列图验证交互顺序。下图给出它们在装备建模中的典型协同路径。
三、建模工具入门
工业装备建模常用工具包括 Cameo Systems Modeler、Enterprise Architect、Rhapsody、Capella 以及国产的 M-Design、SysML 建模平台等。入门阶段不必追求工具全部功能，先掌握四件事：创建项目与包结构、绘制 BDD 与 IBD、定义值属性与单位、建立需求与模型元素的追溯关系。
以 Cameo 为例，典型操作路径为：新建项目后先建立包结构，如“需求包—结构包—行为包—参数包—接口包”；在结构包中新建块定义图，拖入 Block 元素并设置组合关系；为块添加值属性时，需同时指定类型与单位，例如 ratedPower : Power [kW]，其中 Power 为值类型，kW 为单位。若单位未定义，后续参数图无法进行量纲一致的约束求解。
参数图入门可先做一个简单示例：定义约束属性 torqueConstraint : T = 9550 * P / n，将 P 绑定到电机块的 ratedPower，n 绑定到 ratedSpeed，T 绑定到 ratedTorque。当把 ratedPower 设为 150 kW、ratedSpeed 设为 3000 r/min 时，可求得 ratedTorque 约为 477.5 N·m。该数值为示例计算，用于说明参数绑定与求解过程，不代表任何实际产品实测数据。
四、模型组织方法
装备模型规模大、参与专业多，模型组织直接决定可维护性。建议遵循三条原则：
- 按专业与系统分层建包。顶层为整机包，下设机械、电气、控制、软件、冷却等子包，每个子包内再按 BDD、IBD、行为、参数分类存放，避免所有图堆在同一目录。
- 接口单独管理。把端口类型、接口块、项流定义集中放在接口包中，各专业引用同一接口定义，防止接口不一致。例如高压接口统一使用
HighVoltagePort，其属性含电压范围、最大电流、连接器型号。 - 需求—模型双向追溯。每条需求至少关联一个用例、一个块或一个活动，模型元素变更时可反向查到受影响需求。工具中通常用 «satisfy»、«verify»、«derive» 等关系表达。
EDS_Motor_PMSM，接口命名采用“介质_方向_类型”格式，如 Coolant_In_Port。命名一致后，后续 IBD 连接与参数绑定会明显减少歧义。
五、适用场景速查
| 图形 | 核心问题 | 装备建模典型场景 |
|---|---|---|
| 用例图 | 系统为谁提供什么服务 | 整机功能边界、操作与维护角色划分 |
| 块定义图 | 系统由哪些块组成 | 整机—子系统—部件层次、类型与属性 |
| 内部块图 | 块内部如何连接 | 机械/电气/流体接口、端口与项流 |
| 参数图 | 性能指标如何约束 | 功率—转矩—转速、效率、热平衡计算 |
| 活动图 | 功能如何分解与执行 | 启动、运行、停机、故障处理流程 |
| 状态机图 | 对象经历哪些状态 | 控制器工作模式、整机状态迁移 |
| 序列图 | 参与者如何按时间交互 | 诊断报文、故障上报、控制指令交互 |
掌握这七类图的分工与协同，是后续开展装备需求分析、架构设计与性能验证的基础。实际建模时，应先明确当前要回答的问题，再选择最合适的图，而不是按图类型顺序机械推进。