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