随着高科技爆发点时代的降临,面向服务体系结构越发的成熟,渐渐的成为了互联网时代的主流软件形态。与此同时Internet上的Web服务数量的急剧增加,具有单一功能的Web服务已经越来越难应对用户的多样化要求,因此需要利用组合技术将现有的服务组合成新的能满足需求的服务。但是在组合的过程中,服务往往是来自于不同的开发环境,接口的定义标准也各不相同,由此便会呈现出大量服务无法兼容的问题。在这种情况下,假如采取直接不用重新开发的方式处理可能会导致无法找到所需要的服务,因此服务适配技术孕育而生。如何提高服务组合中兼容性检查和适配技术的准确性已成为服务体系结构中值得探讨的热点问题。目前Web服务组合中取得了很多成果,但是还存在如下的问题:第一,大多数基于服务接口的描述模型不考虑交互信息和内部行为(τ)的值传递;第二,大多数研究涉及的兼容性概念过于单一;第三,兼容性检查只是返回布尔型结果(只有兼容和不兼容),无法区分是完全不兼容还是部分兼容,并且针对部分兼容的情况没有进行进一步的量化处理;第四,当不匹配的时候,如何能减少人工生成适配器时间或则改为自动生成适配器,进而让其能正确的进行迁移。针对上述问题,本文将对Web服务行为进行建模,并从服务的描述、兼容性问题以及适配技术全方面的进行研究。首先,为了提高服务消息接口的规范性和交互行为的正确性,提出内部和外部相结合的一种更加能清晰表达服务的符号转换系统(Symbolic Transition System,STS)对Web服务行为进行建模。其次,根据与兼容性情况的分析、归纳和总结,提出包含内部变迁处理策略、四种兼容性概念和与概念相对应的兼容性检查框架,可满足不同类型和精度要求的兼容性判定,让兼容性检查更加灵活。再次,本文提出了一个通用框架,可以根据不同的兼容性概念自动测量服务接口的兼容程度。同时针对不兼容的服务还配备了不匹配列表,便于后续的适配过程更快地找到这些服务不匹配的部分。然后,根据兼容性度量结果和不匹配列表,选取可适配的服务,将它与目标服务之间交互过程中存在的关联表示为同步矢量。在此之后,利用它们中存在的时序关系形成与之对应的适配契约。最后分析失配发生的原因和情况,并设计与之对应的适配对策。另外设计了一个适配算法,能根据适配契约和适配对策自动生成适配器,这样新生成的适配器便能协调原本不兼容的服务,使初始的目标服务和匹配的服务能够重新进行迁移,一直到双方都达到终止状态后结束。