论文研究语义Web服务自动组合定义、方法及验证调查.pdf

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