云制造环境下基于动态描述逻辑的制造服务匹配研究

摘要：

为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法.建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了“五层三阶段”的云制造匹配策略.用基于DDL的六元组对云制造服务进行建模,该模型能够准确地描述云制造服务的输入、控制和输出,为云制造服务匹配提供语义表达基础,同时,给出了匹配策略下的制造服务匹配规则及初步匹配算法实现.最后,通过对已有锻造系统的云化改造,证明了该方法能够有效地完成云制造环境下制造服务匹配工作.

关键词：云制造、云服务、动态描述逻辑、服务建模、服务匹配

所属期刊栏目：24

分类号：TP391(计算技术、计算机技术)

在线出版日期：2013-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2202-2207