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