随着Web服务技术的快速发展,越来越多的稳定易用的Web服务共享在网络上,但是单个Web服务的功能一般比较简单,很多情况下不能满足用户的实际需要,为了更加充分地利用这些共享的Web服务,有必要将这些Web服务组合起来,提供更为强大的功能,满足用户的实际需求。Web服务组合验证能提前发现Web服务组合中存在的缺陷,是提高Web服务组合执行的成功率和增强用户满意度的关键,对Web服务组合的正确运行具有十分重要的意义。本文的主要工作如下：1.提出一种基于与或图的Web服务组合方法。该组合方法可分为两个步骤,首先根据已有可用的Web服务和用户提出的服务请求,从服务请求的输出对象到输入对象反向生成服务参数与或图。然后在与或图中搜索能够满足服务请求的服务组合图,该方法可以提高服务组合的效率和成功率。2.提出一种利用Pi演算对Web服务组合的正确性进行验证的方法。先用Pi演算对Web服务组合进行建模,然后在Pi演算辅助工具MWB中验证该服务组合方案是否存在死锁和是否满足用户需求。3.利用Pi演算对Web服务组合中一个服务是否可以被另一个服务替换进行验证。先用Pi演算对进行服务替换后新的组合服务进行建模,并根据新的组合服务是否兼容来判断该服务替换的可行性。本文对Web服务组合和Web服务组合验证进行了深入的研究,提出了有效的解决方案,对于推进Web服务组合技术的理论研究和应用具有一定的价值。