随着面向服务和云计算等技术的高速科学发展,越来越多的服务开发商将Web服务发布在云平台上,导致网络中服务数量呈爆炸性增长。然而,单个服务功能有限且难以满足用户需求的日益复杂化,因此,需要以组合的形式生成功能强大且满足用户需求的大粒度服务供用户使用。如何从海量服务中找到可匹配的服务用于服务组合,若无法找到完全匹配的服务,如何找到匹配相似性较高的近似匹配服务,找到近似匹配服务后如何通过适配机制转换成可匹配的服务等问题是Web服务组合中亟需解决的关键问题。针对上述问题,本文将重点研究Web服务组合的服务匹配判定、匹配度量及其适配问题。首先,简要阐述Web服务匹配判定、匹配度量和服务适配的国内外研究现状;然后,基于此进一步分析现有研究存在的不足;最后,着重探讨匹配判定框架、匹配度量以及适配器的生成等相关方面。主要工作包括如下几个方面:（1）构建Web服务匹配判定框架。首先,使用涵盖服务语法、语义和行为协议的形式化模型——SxSTS模型来完整刻画Web服务;然后,构建既蕴含强策略、弱策略、迹策略三种内部变迁处理策略,又定义完全匹配、包含匹配、部分匹配和不匹配四种匹配类型概念的动态匹配框架;最后,凭借SxSTS模拟积中是否存在死锁设计匹配判定算法,实现对匹配类型的判定,以此满足不同情形下Web服务匹配判定的需要。（2）提出Web服务匹配度量方法。对于不完全匹配的服务,首先,分析它们的失配情形,判断无法完全匹配的原因;然后,进行静态匹配度量,具体有语法层的消息接口匹配相似性度量和语义层的本体概念匹配相似性度量;最后,采用前向和后向传播方式进行动态匹配度量,以确保服务整体动作流程匹配相似性度量的准确性。（3）提出Web服务适配分析方法。选取匹配相似性较高的服务进行适配。首先,利用发送动作和接收动作中参数的对应关系构造动作映射,并基于映射结果分析可适配性;然后,基于动作自动映射的可适配性匹配分析进行适配策略分析,设计适配器自动构造并生成可匹配性适配契约;最后,通过检查可匹配性适配契约和参与匹配服务的STS交互积中有无死锁,验证适配器的正确性。（4）对于上述理论框架和方法,开发包含SxSTS模型自动生成、Web服务匹配判定、Web服务匹配度量和Web服务适配器生成模块的系统原型,通过实例验证理论框架和方法的有效性。