概念/概念定义

从一张用例图开始

用户要求在“闸机控制”包下建立一张用例图。一次调用同时生成对象、关系和画布时，关系可能引用不存在的名称，视图也可能漏掉已经创建的元素。失败后只能整份重做。

定义

类型化中间表示链把自然语言意图逐步收敛为可验证的数据结构。AI4MBSE 建模 Agent 项目可以还原为：

ModelingJob -> ElementPlan -> RelationPlan -> ViewPlan -> WriteSet

每一段读取已验收的上游结果，输出带类型、稳定引用和来源的候选结构。验证器检查良构性，写入器只消费通过门禁的 WriteSet，不再重新理解自然语言。

工程边界

序列化成 JSON 并不自动形成类型化 IR。字段类型、允许值、引用规则和阶段不变量必须由 schema 或验证器执行。阶段可以由多个 Agent、一个 Agent 的多次调用或普通函数完成，进程数量不影响概念成立。

来源与谱系

• 初始研究来源：AI4MBSE 建模 Agent 项目，作者袁良锭（Liangding Yuan）；契约名称由 ADPS 依据公开机制还原。
• 历史近邻：compiler IR、typed AST、semantic analysis、database referential integrity。
• ADPS 整理：模型起草候选 IR，程序验收阶段合同，写入器消费已验证结果。
• 定义地位：ADPS 重述。

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