3. SysML语言总览与建模工作流

SysML 是面向系统工程的建模语言，它并不是把 UML 简单改名，而是在 UML 基础上做了“增、删、改”：新增需求图与参数图，删除与软件实现强绑定的部分，并让活动、状态、交互等图更适合描述跨学科系统。理解 SysML 的第一步，是把它提供的九种图按“结构—行为—需求—参数”四条线索归类，而不是死记九个名字。

九种图的分类逻辑

SysML 的九种图可分为两大类：结构图与行为图，需求图和参数图则作为跨切面的补充。结构图包括块定义图（BDD）、内部块图（IBD）和包图（PKG）。BDD 描述块及其属性、操作、端口和关系，是系统静态结构的骨架；IBD 描述块内部部件、端口和连接器，回答“系统由哪些部件组成、它们如何连接”；包图用于组织模型元素，控制命名空间和依赖关系。行为图包括活动图（ACT）、序列图（SD）、状态机图（STM）和用例图（UC）。活动图描述控制流与数据流，适合表达功能分解和算法逻辑；序列图描述对象之间按时间顺序的消息交互；状态机图描述对象在事件驱动下的状态迁移；用例图描述系统对外部参与者提供的服务。需求图（REQ）把需求作为一等模型元素，支持需求之间的包含、派生、满足、验证等关系；参数图（PAR）用约束块和绑定连接器表达工程参数之间的数学关系，是 SysML 区别于 UML 的关键能力。

从需求到验证的建模流程

实际项目中，九种图不是孤立使用的，而是沿着一条“需求—功能—结构—行为—参数—验证”的主线逐步展开。以一个工业装备中的“液压升降平台”为例：首先在需求图中建立需求条目，例如“REQ-001：平台在额定负载 500 kg 下，上升速度不低于 0.05 m/s”。接着用用例图界定系统边界，识别操作员、维护人员和上位控制系统三类参与者。功能分析阶段用活动图把“上升”分解为“启动泵站—打开比例阀—检测位置—到达目标层停止”等动作，并标注每个动作的输入输出。结构设计阶段用 BDD 定义平台系统的块：液压泵站、比例阀、液压缸、控制器、位置传感器，并标注各块的属性，如泵站额定压力 16 MPa、液压缸行程 1.2 m。IBD 进一步描述这些部件之间的端口和连接器，例如比例阀的 P 口接泵站出口，A/B 口接液压缸两腔。行为细化阶段用状态机图描述控制器的状态迁移：待机→上升→保持→下降→故障，并定义触发事件和守卫条件。参数图则把“上升速度 = 泵流量 / 液压缸有效面积”这样的约束关系显式建模，绑定泵流量、缸径等参数，使设计变更时能自动检查是否仍满足 REQ-001。最后，验证阶段建立验证用例，把测试结果与需求关联，形成可追溯的闭环。

工具链与项目组织

SysML 建模离不开工具链支撑。主流建模工具包括 Cameo Systems Modeler（MagicDraw）、IBM Rhapsody、Capella 以及开源的 Papyrus 等。它们通常提供模型仓库、图编辑器、模型校验和报告生成能力。在工业项目中，工具链往往还需要与需求管理工具（如 DOORS、Polarion）、仿真工具（如 Simulink、Modelica）以及配置管理工具（如 Git、SVN）集成。项目组织方面，建议按“模型包—视图—图”三层组织：顶层包按系统层次划分，如“整机—子系统—部件”；视图按利益相关者关注点划分，如需求视图、功能视图、物理视图、验证视图；图则作为视图的具体表达。模型元素命名应遵循统一规范，例如块用“B_”前缀、需求用“REQ_”前缀、接口用“IF_”前缀，避免同名冲突。版本管理上，模型文件应纳入配置管理，重大变更需通过评审并记录在需求追溯矩阵中。对于团队协作，建议设置模型架构师、领域建模人员和验证工程师三类角色，分别负责模型框架、专业细节和验证闭环，确保模型既能被机器校验，也能被人理解。