中文摘要：

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