[Paper] 使用 SysML v2 对利益相关者上下文进行形式化

Source: arXiv - 2604.19390v1

概述

本文提出了一个结构化框架，将常常模糊的“利益相关者情境”转化为使用 SysML v2 和 Soft Systems Methodology (SSM) 的严格定义的系统架构。通过利用 Kernel Modelling Language（KerML）的形式语义以及 ISO 42010 的对齐，作者展示了从利益相关者关注点直接追溯到架构要素的路径——有望在复杂项目中减少误解。

关键贡献

• 混合方法论，将 SSM 的定性利益相关者分析与 SysML v2 的形式化建模能力相结合。
• 参考架构，将 SSM 人工制品（例如丰富图、CATWOE 分析）映射到 SysML v2 概念，如 Stakeholder、Concern 和 Requirement。
• 示范案例研究，展示从利益相关者陈述到具体系统组件的端到端可追溯性。
• 权衡讨论，尤其是 SysML v2 文本表示法引入的学习曲线与语义精确性提升之间的权衡。

方法论

1. 使用 SSM 技术（丰富图、根本定义、CATWOE） 引出利益相关者情境。此步骤捕获通常以自然语言表达的“软”方面——价值观、动机和约束。
2. 将情境形式化，通过将 SSM 人工制品转换为 SysML v2 元素。作者使用 KerML 的精确语法来编码利益相关者角色、关注点及其相互关系。
3. 构建参考架构，使形式化的情境与 ISO 42010 的架构描述标准保持一致。该架构作为支架，将每个利益相关者的关注点链接到特定的系统视图或组件。
4. 通过案例研究进行验证（一个中型物流信息系统）。该研究逐步演示每个转换步骤，生成可供领域专家和工程师检查的可追溯性矩阵。

方法刻意保持工具无关性；作者使用开源 SysML v2 解析器来说明如何以编程方式处理文本模型（例如用于自动一致性检查）。

结果与发现

实际意义

• 改进的需求工程：开发人员可以直接从利益相关者研讨会生成机器可读的规范，并将其输入 CI 流水线进行早期验证。
• 自动化影响分析：当利益相关者的优先级发生变化时，可追溯性矩阵会立即突出显示哪些系统组件需要重新评估，从而节省人工审查的时间。
• 合规性与可审计性：遵循 ISO 42010 可更容易生成满足监管标准（如航空航天、医疗器械）的文档。
• 工具集成：SysML v2 的文本化特性意味着模型可以进行版本控制（Git）并使用标准解析器处理，从而实现“基础设施即代码”风格的系统架构治理。

限制与未来工作

• 经验广度：该框架仅在单一案例研究中得到验证；需要在更广泛的领域（例如金融、物联网）进行测试，以确认其通用性。
• 学习曲线：SysML v2 的文本表示法可能会阻碍习惯使用纯图形工具的团队；作者建议开发更高级的 DSL 包装器或 IDE 插件，以降低此障碍。
• 工具生态成熟度：当前的 SysML v2 工具仍在发展中，这可能限制其在快速发展的开发环境中的即时采用。

总体而言，本文提供了一座有前景的桥梁，连接以人为中心的利益相关者分析世界与现代系统架构所需的严谨性——这种方法有望简化开发流水线并降低昂贵的错位风险。

作者

• Matthew Harrison
• John Carlin
• Chengyuan Liu
• Sarah Dunnett
• Siyuan Ji

论文信息

• arXiv ID: 2604.19390v1
• 分类: cs.SE
• 出版日期: 2026年4月21日
• PDF: 下载 PDF