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

摘要

针对近几年在语义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 def