目前，国内外已经围绕Web服务组合各个方面展开了研究工作，并取得了相应的成果。但是Web服务组合作为一个新兴的并且在不断发展的项目，在探索实践以及运用的过程中问题依旧在不断的产生，所以对于服务组合的研究一直都没有停止并在不断的进步。一些问题很多学者都做出了研究并提出了自己的观点，比如Web服务组合中服务的描述以及方法的选择问题；组合中基于QOS的Web服务的选择问题；服务的正确性验证以及出现问题时故障的诊断与修复问题等。本论文从理论研究入手，从问题的本质入手，针对Web服务组合中的几个经典并且关键的问题展开探讨和研究，即从以往的研究成果中吸收有用的部分，又对出现的问题进行了改进，通过探索Web服务组合中的几个关键性的问题，使服务组合方法得到改进，执行更正确，在社会的各个方面应用更广泛，更能体现其价值性和功能性。本文主要工作与贡献主要包含以下几个方面：（1）对单个的Web服务以及为什么要进行服务的组合做出了简单的介绍和描述（2）介绍了几种服务组合的方法以及其特点，如基于工作流的服务组合方法、基于人工智能的服务组合方法、基于Petri网的服务组合方法、基于进程代数的服务组合方法。在连通性、非功能性、正确性以及可靠性四个方面比较了几种Web服务组合的方法，并选择了用Pi演算的方法来描述Web服务组合并利用服务组合中的典型模型旅行社代理系统来进行具体阐述。（3）Web服务组合中单个Web服务的选择一直都是一个难点以及重点，而如何从众多的服务中选择出既符合用户需求，又能保证可靠性和信誉度却花费时间最少、费用最低的服务，更是服务选择中的难点，这就需要引入QOS的概念，来通过QOS来选择服务。基于QOS的服务选择算法中，定义了QOS的计算模型，并运用到服务的选择问题中去。（4）Web服务组合构建完成后，还需要对其性质进行验证，从而保证组合服务的正确运行以及适应动态的网络环境和用户的不断变化的需求。本文具体对组合的正确性，可替换性以及相容性进行了阐述并使用Pi演算的方法进行了相应的验证。（5）作为一个组合服务来说，故障的诊断与修复是很重要的一个问题，贝叶斯网络中节点与节点之间表示的是直接的因果关系，而这种因果关系又是不确定的，因此可以有效地对不确定的事件进行处理。利用贝叶斯网络的这种基本特性，提出了一种基于贝叶斯网络的诊断算法。综上所述，本文的工作主要针对Web服务组合中的几个关键问题，解答了一些基本的概念公式，阐述了问题产生的背景以及目前国内外研究的成果，对问题进行分析并总结出相应的解决办法，同时采用图表的形式对抽象的问题进行直观的描述，更助于问题的理解以及解决。这些关键问题的研究对于Web服务组合技术的发展和应用具有一定的研究意义。