基于有限状态机模型，在服务组合层面上提出了Web服务之间3种相容性的判定方法。对于两个不相容的W eb服务，通​​过分析它们的行为路径对的可适应性来判断Web服务之间的可适应性；对于两个可适应的W eb服务，通过生成它们的行为路径对的子适配器模型合并其合并，从而获得Web服务之间的适配器模型并自动映射生成实际可运行的BPEL代码。通过实例分析表明了该方法的可行性和有效性。

Web服务的行为兼容性和适应性分析