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

作     者：杨男 李东波 童一飞 Yang Nan;Li Dongbo;Tong Yifei

作者机构：南京理工大学南京210094 

出 版 物：《中国机械工程》 (China Mechanical Engineering)

年 卷 期：2013年第24卷第16期

页      面：2202-2207页

核心收录：

学科分类：081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：云制造 云服务 动态描述逻辑 服务建模 服务匹配 

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