语义Web服务自动组合定义、方法及验证调查  

Survey on definition,methods and verification of semantic Web service automatic composition

作　　者：王向辉[1,2] 冯志勇[2] 

机构地区：[1]山东建筑大学计算机学院,济南250101 [2]天津大学计算机学院,天津300072

出　　处：《计算机应用研究》2014年第5期1292-1301,1311,共11页Application Research of Computers

基　　金：山东省高等学校优秀青年教师国内访问学者资助项目(2013);国家自然科学基金资助项目(61173155;61070202);山东省软件工程重点实验室开放项目(2011SE001)

摘　　要：针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。There are many research findings in semantic Web service composition area recently. This paper summarized and concluded definitions, composition methods and verification technologies in this area. It classified composition problems and gave their formal definitions respectively. And it summarized an automated semantic Web service composition framework. Then, it analyzed and compared composition methods according to different problems, and summarized verification technologies for one composition solution. At last, on the basis of analysis above, this paper proposed current problems and challenges in front of automated semantic Web service composition researcher.

关 键 词：语义WEB服务 形式化定义 组合框架 组合方法 正确性检验 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]