ABB Spec2Control：从工艺要求到控制图，哪些步骤由模型完成

控制程序能导入工具，不代表它正确实现了工艺要求。ABB 的 Spec2Control 把这段工作拆成了可检查的交接：先从要求准备部件与策略，再生成实例、连接和参数，最后用普通程序转换为控制工具能读的图。模型参与工程生成，控制器运行时仍循环执行已经确定的逻辑。

这条路径的价值，在于将生成错误留在可审阅、可测试的工程阶段。但研究中的高连接正确率，也必须放回它实际检查的对象：控制策略连接只是程序的一部分，语义审查和设备安全并没有被一个分数取代。论文v1，§3–4

模型读到的是工艺叙述，不是论文中的整张装置图

论文以硝酸铵生产中的中和反应器说明任务：文字引用了液位、流量、阀门和控制器等十个设备标签，要求控制两路流入比例，并实现相关联锁与报警。论文图4帮助读者理解装置，但作者明确说，这张图不是该例实际交给模型的规格；功能块图生成依赖文本。

对于液位 LT-104，要求液位高于容量的20%、且低于90%时才允许进酸。工程师需要把这句话落实为对应的信号块、阈值、连接及越界动作。联锁决定设备能不能继续动作，报警则可能提供操作员提示，不能因为都提到高低限就合并成同一件事。§3.1、图4

七步流程里，真正需要理解的是三次格式交接

第一处交接是从长文档到可处理的要求片段。原型允许处理整份文档、按章节分块、按用户选择分块；选择策略的人仍是用户，动态选择尚在开发。抽取阶段处理文件格式与文本，必要时可加入摘要步骤；反应器例中，章节片段包含3,826字符和十个标签。分块的目的不是机械限制字数，而是让每段具有足够完整的工程含义。

第二处交接是从要求到生成上下文。系统不是把整个部件库交给模型，而是选择相关类型、输入输出参数及其描述，再选择预设控制策略。比例控制例需要 RATIO_CONTROL 与两个 PID_BASIC 等部件及其连接模式。遇到策略不明确或重叠，方法允许给出置信提示并请工程师决定。§3.2

论文的方法设计还包含按设备标签取得已有实例与连接，避免扩建时重复生成。不过原型说明明确：旧逻辑合并仍在开发，公开实验也未测试这一环节。不能把设计图上出现的能力全部算成已经验证。

第三处交接是从模型表示到工程工具格式。这里分工尤其具体：

模型输出的简化表示保留部件、连接和参数，不负责图形坐标与走线。普通程序解析它，生成目标工具需要的格式并排版。这使适配其他控制工具主要落在转换层，但前提是目标工具具备相应部件类型。§3.2、图5–6

可横向查看，点击打开原尺寸 ↗

图据论文v1 §3.2–3.3、§4.2重组：模型检查、程序转换与控制语义验收是不同关口。

最后一次模型检查仍然可能漏错，它不是确定性验证器。工程工具可以发现类型不兼容、非法字符等问题；联锁是否表达了正确条件，则需要控制工程师检查和功能测试。两种检查的能力不同。

原型怎样接进工程工作

实现采用 LangChain 装配提示词链，PyPDF 抽取 PDF 文本，并通过 Azure 上的模型完成生成。FastAPI 暴露工作步骤，React 工作台让工程师加载叙述、配置流程和观察输出；另有 CLI 支持批量处理。作者同时提供 OpenPLC 适配，以便在不公开 ABB 专有部件库的条件下评价方法。§3.3

这些界面与接口让工程师介入生成过程，但论文没有公布所有生产提示词、商业部件定义和集成源码。因此可以解释每步提供什么上下文、产出什么，不能仅凭框架名称补出一套私有工程平台。

错误并没有在“生成成功”时结束

公开测试使用作者构造、经专家核对的十份非专有控制叙述和65个章节案例；不是65个已投产客户项目。模型识别控制策略的表现很好，但实际错误更有迁移价值：连续蒸煮器案例漏掉阀门 LV-103 的映射；两处控制策略连接出错，包括把阀门反馈错误接回 PID；173项报警参数中有5项与基线不符，涉及漏值或生成规格中没有的值。

GPT-5在这组测试中的控制策略连接正确率为98.6%，也没有包含所有“胶合逻辑”连接的逐项比较。布尔表达式、定时器与算术可以有多种合法实现，不能要求生成图与人工基线逐字相同；但这也意味着总体指标覆盖不到全部语义。作者还指出，简化 BASIC_LIB 让某些安全功能难以表达，模型可能另写逻辑或遗漏，部件库本身也需要改进。§4.1–4.2

94–96%节省，为什么不能直接放进项目预算

论文的劳动节省估算有一个重要分母：语义审查在人工和辅助方案中都要做，因此被排除。作者估计每段人工创建需要约85.6–128.4分钟，辅助方案的语法修正约5分钟，由此得到约94–96%的创建劳动节省；另估计语义审查中位数为42.8分钟，它并未消失。

所以这里支持的是“减少创建图形程序的人工劳动”的估算，不是整个工程过程缩短95%，更不是安全检查减少95%。若需求含歧义、部件库不完整或生成物难以审查，真实收益会落在另一组条件里。§4.2，Q1M2/Q1M3/Q3M1

准备自己的试点时，选一段已有认可人工实现、允许使用的要求，沿每项要求核对设备实例、类型、连接、参数、联锁与测试结果。把模型生成、导入修正、语义审阅和返工分别计时。既有逻辑扩建另立验证，不拿新建生成的成绩作保证。只有能追到要求并通过工程验收的产物，才值得进入下一步，而不是图越完整、模型参与越多越好。