面向服务的体系架构(Service oriented Architecture,SOA)作为一种新的分布式软件系统架构,为互联网环境中服务共享、服务重用、业务集成提供了新的解决方案,它能实现系统之间的松散耦合,从而提高软件组件的可重用性。Web服务技术是实现SOA的关键技术,然而Web服务的异构性、动态性、分布式和不断演化的特点使得服务之间的协同交互变得异常复杂。因此,如何提高服务之间协同的正确性和可靠性成为实施SOA的关键问题。Web服务适配是解决这一问题的可行方法,也是推动面向服务的软件架构应用与实施的关键技术。本文在分析Web服务适配技术发展现状的基础上,围绕Web服务行为模型、Web服务行为失配检测以及自动适配等问题展开研究,主要工作与贡献包括以下四方面:1)提出了Web服务行为模型的形式化表达方法研究能表达服务的过程流转、状态变迁、消息传递等动态行为属性的通用行为模型,提出基于π演算形式化表达的行为模型,利用π演算提供的操作语义和辅助工具对服务的交互行为进行严谨的分析和推导。2)提出了Web服务行为交互的失配检测及其算法基于通用的行为模型与形式化表达,设计了一套高效的失配检测机制,准确扑捉失配点信息,并定制了合理的失配模式与分类规则,在检测出失配点之后,基于失配类型能及时对失配模式进行识别,为适配提供诊断依据。3)提出了Web服务交互的适配器生成及算法依据失配检测的结果,本文还研究了在不同失配点和失配模式下适配器的行为特征,在行为模型的形式化方法基础上研究适配器的生成规则,最后基于生成规则和形式化推演,提出了适配器的自动生成及构造算法。4)设计了支持自动适配的Web服务组合原型系统提出了支持自动适配的Web服务组合原型系统的体系架构,此架构从抽象层面刻画了服务适配的过程,基于抽象的体系架构思想,开发了一个集服务流程建模模块、服务组合验证模块、服务行为失配检测模块、服务行为适配模块以及服务流程运行平台等功能于一体的Web服务组合原型系统。