Integration of system design models with software design has been employed as a common paradigm for model-driven design of control applications of distributed automation systems. However, there is still a lack of efficient methods to automatically project the system design to the control dimension. In this study, ontology modelling and reasoning is exploited to bridge the system design in SysML and control application design in IEC 61499 specific to the manufacturing domain. First, a manufacturing ontology (MFO) is formally defined, based on which the system design can be enriched and verified. Second, a distributed control ontology (DCO) is proposed to correlate the enriched system design and control application design such that automated inference between them can be achieved. Finally, an IEC 61499 model is generated from the platform-independent control application design in DCO. The approach is implemented by an ontology-based framework leveraging semantic web technologies. A CNC bending machine is used as a case study to illustrate the workflow and potential usage of the generated models.

中文翻译：

---

制造系统中分布式控制应用的基于本体的模型驱动设计

系统设计模型与软件设计的集成已被用作分布式自动化系统控制应用的模型驱动设计的通用范例。然而，仍然缺乏将系统设计自动投影到控制维度的有效方法。在本研究中，本体建模和推理被用来桥接 SysML 中的系统设计和特定于制造领域的 IEC 61499 中的控制应用程序设计。首先，正式定义了制造本体（MFO），在此基础上可以丰富和验证系统设计。其次，提出了分布式控制本体（DCO）来关联丰富的系统设计和控制应用程序设计，从而可以实现它们之间的自动推理。最后，IEC 61499 模型是从 DCO 中独立于平台的控制应用程序设计生成的。该方法是通过利用语义网络技术的基于本体的框架来实现的。CNC 折弯机用作案例研究，以说明生成模型的工作流程和潜在用途。