工业自动化中的基于规则的代码生成( 二 ) 摘要工业自动化应用软件开发

虽然基于规则的工程方法在本文范围内专门针对简单联锁进行了说明，但它也可能适用于控制逻辑的其他部分，例如批量生产配方、功能块配置参数和关闭程序。
4、CAYENNE 实现为验证基于规则的 CAYENNE 工程的概念，我们设计并实现了一个与商业 CAD 工具和控制工程工具接口的原型工具。图 4 显示了作为 UML 组件图的工具的高级软件架构。为了将规则引擎和代码生成与 P --tt-darkmode-color: #9B9B9B;">用户可以使用拓扑编辑器编辑图 4 中导入的拓扑模型（拓扑对象库），或将其序列化为 AutomationML/CAEX（iec62714）XML 文件格式，以便进一步处理。 CAYENNE 提供了一个互锁规则引擎，用于遍历拓扑模型并从数据库中应用特定于域的规则，以生成 C --tt-darkmode-color: #9B9B9B;">图 5 显示了 CAYENNE 拓扑模型类层次结构的简化视图。它包含容器、传感器、控制器、流量对象、终端点和执行器，因此可以表达工厂工程中通常使用的大多数元件。从面向对象的 P --tt-darkmode-color: #9B9B9B;">CAYENNE 工具还包括一个原型过程图形生成器和一个用于工厂验收测试（FAT）的模拟生成器。前者与一个用于过程图形工程的商业工具接口，在这里可以手动添加更多的细节。后者生成 Modelica 文件并与 OpenModelica 接口，以执行低保真度的工厂模拟。
致谢本文由南京大学软件学院 iSE 实验室 2019 级硕士研究生朱晨乾翻译转述。