3. MBSE方法论概览与选择

MBSE方法论不是一套“万能模板”，而是把建模语言、工具、流程和组织协作方式组织起来的工作框架。同一套SysML模型，用不同方法论驱动，得到的模型结构、迭代节奏和交付物可能完全不同。本节聚焦六种主流方法论：INCOSE OOSEM、IBM Harmony、Vitech MBSE方法、MagicGrid、SYSMOD与ARCADIA，重点说明它们的流程骨架、适用场景与裁剪策略。

六种方法论的流程骨架

INCOSE OOSEM（面向对象的系统工程方法）以“系统需求—逻辑架构—物理架构—验证”为主线，强调从利益相关者需求出发，先建立系统级用例与黑盒活动，再逐步分解为白盒逻辑组件，最后映射到物理实现。它适合复杂系统早期概念设计，尤其是需要把需求、架构与验证证据显式关联的项目。

IBM Harmony以“需求分析—系统功能分析—架构设计—详细设计—验证”为迭代链，强调模型与需求管理工具的双向追溯。Harmony的典型特征是“用例驱动+服务导向”，适合嵌入式与实时系统，尤其是需要与DOORS、Rhapsody等工具链深度集成的组织。

Vitech MBSE方法以“源—系统—验证”三层结构为核心，强调从源需求到系统行为、再到验证用例的闭环。它通常与CORE或GENESYS工具配合，适合需要强追溯性和系统级行为建模的航空航天、国防项目。

MagicGrid是一种基于网格的建模框架，用“问题域—解决方案域—实现域”三列与“需求—行为—结构—参数”四行构成矩阵，指导模型元素按格填充。它不规定严格顺序，而是提供完整性检查视角，适合已有建模基础、需要提升模型一致性的团队。

SYSMOD是轻量级、敏捷友好的方法，强调“需求—功能—逻辑—物理”四层，但允许按迭代增量逐步细化。它适合中小型系统或快速迭代项目，尤其是团队规模较小、需要快速响应变化的场景。

ARCADIA由Thales提出，以“运行分析—系统分析—逻辑架构—物理架构”四层为核心，每层都从“功能—行为—结构”三个视角描述。它强调架构驱动，适合复杂系统架构设计与权衡分析，常与Capella工具配合。

适用场景与选择依据

选择方法论时，先看项目特征，再看组织能力。若项目需求变更频繁、团队规模小，SYSMOD的轻量迭代更合适；若系统安全关键、追溯要求高，OOSEM或Vitech方法能提供更完整的证据链。Harmony适合已经使用IBM工具链的团队，MagicGrid则更适合作为“模型体检表”与其他方法组合使用。ARCADIA在架构权衡阶段优势明显，尤其适合需要多方案对比的复杂系统。

一个实用的判断顺序是：先确定“追溯强度”和“迭代节奏”两个维度。追溯强度高、迭代慢的项目，优先OOSEM或Vitech；追溯强度高、迭代快，考虑Harmony；追溯强度低、迭代快，SYSMOD更轻便；若重点是架构设计而非需求追溯，ARCADIA更直接。MagicGrid不单独作为主流程，而是叠加在任一方法之上，用于检查模型完整性。

裁剪策略与落地要点

裁剪不是删步骤，而是调整“粒度”和“顺序”。以OOSEM为例，若项目已有明确的系统需求，可跳过利益相关者分析，直接从系统用例开始；若验证证据由独立团队负责，可将验证活动后置，但必须在模型中保留追溯链接。Harmony的裁剪重点是合并详细设计与架构设计，在敏捷迭代中把两者放在同一迭代内完成。

MagicGrid的裁剪体现在“按需填格”：若项目不涉及参数约束，可暂时留空参数行，但需在模型评审中标记为“待补充”。SYSMOD的裁剪最灵活，允许只做需求到功能、功能到逻辑的映射，物理层延后到实现阶段。ARCADIA的裁剪则体现在层级深度：小型系统可合并运行分析与系统分析，但逻辑架构与物理架构的分离建议保留，否则架构权衡会失去依据。

组合使用与工具映射

实际项目中，方法论常组合使用。例如用MagicGrid作为模型完整性检查框架，用OOSEM驱动系统级流程，用SYSMOD管理迭代增量。工具方面，OOSEM与Harmony常配合Rhapsody、DOORS；Vitech方法对应CORE/GENESYS；ARCADIA对应Capella；MagicGrid和SYSMOD则相对工具中立，可在Cameo、Enterprise Architect等环境中落地。

选择方法论时，建议先做一次“方法-项目”匹配检查：列出项目的追溯要求、迭代周期、团队规模、工具现状和架构复杂度，再对照六种方法的特征打分。得分最高的方法作为主流程，其余方法作为补充检查项。这样既能保持流程稳定，又能吸收不同方法的优势。