案例库/完整蓝皮书

项目概览

1. MBSE 中的模型与图

SysML 用于描述复杂系统的组成、行为、需求和关系。MagicDraw、Cameo 一类工具既保存工程模型库，也显示各种图。图是模型的一种视图，只呈现模型的一部分。

例如，一张块定义图可以显示“闸机控制器”和“读卡器”。模型库还要保存这两个元素的稳定标识、所属包、类型和关系端点。画布上的方框位置正常，并不能证明关系端点有效，也不能证明元素写进了正确的包。

AI4MBSE 是袁良锭发起并在 mbse.ltd 持续记录的建模 Agent 项目，研究正式工程模型中的写入问题。一次错误写回可能被后续设计、仿真、评审和文档继续引用，因此验收要同时检查模型库和画布。

本文用一句简化指令贯穿后续设计：

在“闸机控制”包中创建一张用例图，包含“刷卡进入”“扫码进入”和“管理员放行”。

系统需要先回答三个问题：用户要创建什么图，写到哪个已有位置，明确点名的三个用例是否都进入最终计划。

2. 一次生成为什么容易留下结构错误

项目早期的验证方案让模型一次输出元素、关系和视图。这个路径调用少，失败却难定位。

• 元素名称合理，所属包可能不存在。
• 关系读起来通顺，端点 ID 可能指向未创建元素。
• 模型库已经写入三个对象，画布只显示两个。
• 用户点名三个用例，计划只生成两个，系统仍返回成功。

整份输出出错后只能整体重做，修复时模型还可能改动原本正确的部分。研究原型因此把主链路按建模语义拆成元素、关系和视图三个阶段，使每一段都能单独验收。

3. 三份计划怎样接起来

入口将用户语言收敛成一张作业单，至少记录操作类型、图类型和工程范围。

三阶段只接收已经验收的上游结果。

按研究机制整理，一次作业可以表示成下面的结构。

ModelingJob
  action: chat | create | modify
  diagram_type: use_case | bdd | ibd | state | ...
  scope_ref: stable project reference | pending
  stage: intent | elements | relations | view | validated | applied
  element_plan: typed elements with stable references
  relation_plan: typed edges whose endpoints resolve
  view_plan: projection over accepted model objects
  outcome: applied | applied_with_warnings | blocked | noop
  writeback_receipt: state delta + rollback handle

ADPS 将这三份计划称为类型化中间表示链。名称可以先放在一边，工程上的重点是：下游不再读取一段自由文本，而是读取字段、类型和引用都能检查的上游结果。

三阶段既可以由三个独立 Agent 执行，也可以由一个进程中的三个函数完成。真正产生价值的是输入边界、失败隔离和数据契约，不是 Agent 数量。

4. 一次只处理一张图

“完成闸机系统模型”没有稳定边界。它可能同时包含需求图、用例图、块定义图、内部块图和状态图。前面的偏差还会传播到后面的图。

本研究将单次操作限制为：

一种图类型 + 一个已解析的挂载位置。

这条约束同时确定本轮可以修改什么、写回前验收哪些对象、撤销哪些变更，以及回归测试如何构造。用户得到一张图、一份变更摘要和一个撤销入口。

这个边界也控制故障影响范围。大型项目仍需要分支合并、并发写入和权限分区，本研究未公开相关机制。

5. 挂载位置不清楚时，作业怎样暂停

用户说“闸机控制包”时，工程中可能存在同名位置，也可能根本不存在。系统先查询工程索引。唯一命中才继续；候选较少时让用户选择；没有合理候选时要求补充包名或先创建范围。

系统不会默认写到项目根目录，也不会为了完成任务自动生成一棵父包树。

等待用户时，一条 pending operation 保存 action、diagram_type、候选范围、当前阶段和处理选项。用户补充后，运行时从范围解析处继续，不重新完成整轮意图识别和规划。

这类 HITL 的关键是可恢复作业。界面弹窗负责收集信息，作业单负责冻结进度和恢复位置。

6. 写回前检查哪些事实

研究过程中把典型失败场景整理成一组程序可检查的条件。本文称它们为写回校验，也就是写入正式模型库前必须通过的确定性检查。

写回后的结果只有四类。

7. 哪些问题交给程序，哪些仍需要评审

研究过程中早期测试过“生成、模型评审、修改、再评审”的循环模式。实际验证出现三个问题：评审提示与工具 schema 的口径不一致，等待时间和费用增加，长评论没有直接提高写回可用性。

在早期本地验证中，写回后的模型自评循环没有带来相称收益。当前方案取消这段循环，在组装前只保留最多一次有界修复，写回准入交给程序检查。

这项取舍没有否定反思。它把结构正确性交给可复验程序，把语义品质和跨项目改进留给模型或人员。判断依据是错误能否计算、副作用何时发生，以及用户能等待多久。

8. 类型名称不一致时，不要怪模型

规划阶段、宿主工具和写回回执可能使用不同类型名。模型计划使用业务细名，MagicDraw 或 Cameo API 使用元模型名，导入层还可能返回归一化后的粗类型。直接比较字符串会误杀合法结果，也可能把粗类型放进不合适的图。

系统需要一张显式类型翻译表。

规划类型
  -> 领域标准类型
  -> 宿主工具元模型类型
  -> 写回后返回类型

翻译表按图类型和宿主适配器选择，并在日志中同时保存原始值和归一化值。这样，转换错误可以定位到 adapter 或 Profile，不会一概记成“LLM 幻觉”。

ADPS 概念库将这类机制暂记为词表等价层。现场实现仍应使用领域团队熟悉的名称。

9. 工程很大时，只给当前步骤所需上下文

完整工程树、九类图规则和全部历史对话不适合每次一起进入模型。面向大型工程模型，本研究采用五项约束控制上下文边界。

1. 只注入当前图类型的 Profile。
2. 业务理解生成一次稳定摘要，关系和视图阶段读取摘要与上游计划。
3. 近端上下文提供邻近包、元素和可复用对象，远端只保留项目约束与进度摘要。
4. 意图和澄清可使用轻量模型，元素与关系规划使用主模型。
5. 能由规则决定的视图筛选交给程序。

这套安排减少了每次调用的输入面。当前材料尚未提供 token、时延和成功率对照，因此本版只记录设计判断，不给出总体性能结论。

10. 研究环境演示截图

下面的截图来自袁良锭的个人本地实验环境，用于说明宿主集成、单次意图解析和关系写回机制。它们只证明截图所示运行，不代表商用交付能力或长期工程稳定性。

项目过程图与宿主截图

从进度、澄清、写回到降级结果，证据要连成一段

AI4MBSE 项目页项目说明、方法论包与本地交互示意 项目 FAQ当前状态、实验边界与材料说明 类型化 IR 链从项目机制提炼出的工程概念

11. 下一版最值得补的数据

指标应按图类型、创建或修改、宿主工具和用户经验分层，避免一个总成功率掩盖差异。

12. 迁移时可以照着做的八步

1. 选定一种图和一个真实工程范围，定义最小写入边界。
2. 把用户请求收敛为操作、图类型和稳定范围引用。
3. 将元素、关系和视图拆成有类型的阶段计划。
4. 为每个阶段写出输入白名单、输出 schema 和不允许越界的动作。
5. 列出范围、类型、引用、数量和实际增量等程序可判定条件。
6. 所有写入经过一个通道，并生成变更摘要、回执和撤销句柄。
7. 范围不明时保存 pending operation，测试补充、恢复、取消和超时。
8. 用固定测试集记录假成功、悬空引用和撤销完整率，再扩大图类型。

EDA、BIM、ERP 主数据、CMDB 和工艺路线也可能出现类似条件：结构进入正式库，引用必须有效，错误写入会影响后续工作。迁移的是阶段契约、稳定引用、确定性校验和带回执写入，不是 SysML 的具体类型表。

13. 三份技术方案对照观察

三个方案共同支持一条技术观察：精确结构坐标应由可追溯的程序状态传递，模型负责产生候选意图和计划。验证位置则由副作用、外部可观测性和修复窗口决定。这仍是跨方案观察，需要更多项目继续检验。

14. 适用边界与 ADPS 对照

本项目适合正式模型库中的有界写入场景验证。报告、课件和开放检索结果通常允许重写，不需要复制整套结构校验。当前材料也没有覆盖大团队并发写入、模型分支合并、权限分区、长事务补偿和安全关键项目认证。

SysML v2 提供更精确的语义和标准化模型访问接口，可以减少专有适配工作。范围解析、引用完整性和事务回执仍然需要由应用运行时负责。

作者与引用说明

项目发起人：袁良锭（Liangding Yuan），成都的架构师，拥有十六年研发与架构经历，做过流程、搜索、协作、授权和知识系统等平台工作。AI4MBSE 是他发起并持续验证的建模 Agent 项目。

项目站点：mbse.ltd（用于技术学习与学术交流）

建议引用格式：ADPS、袁良锭，《AI4MBSE 建模 Agent：让自然语言取得工程模型写入资格》，ADPS Agent 系统蓝皮书项目报告 03，v0.6，2026。

版权说明：本文原创内容版权归属袁良锭，采用 CC BY 4.0 协议开放共享。

修订源稿 · 查看发布源稿 · 协作规范