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

摘要：

针对近几年在语义Web服务自动组合上的研究成果，深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术，对语义Web服务组合问题进行分类和形式化定义，并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法，同时总结了组合方案正确性验证技术。最后，根据前面的分析和总结，提出了语义Web服务自动组合当前面临的问题和挑战。

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

所属期刊栏目：31

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

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

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

页数：共11页

页码：1292-1301,1311