带时间约束的Web服务异步交互相容性分析

摘要

在服务组合中为了满足用户的需求规约，有时不可避免地采用异步交互方式，但异步交互行为不可能无限等待。针对带有时间属性限制的异步交互的Web服务组合问题，提出了一种基于时间自动机的服务相容性检测算法。利用扩展时间属性的Web服务业务流程执行语言(BPEL)和自动机理论，将BPEL转换到时间自动机。根据时间自动机构遣的状态空间，使用图搜索算法对参与组合的各个服务进行带有时间属性限制相容性检测。最后通过一个实例分析，表明算法的可行性。