带时间约束的Web服务异步交互相容性分析
在服务组合中为了满足用户的需求规约，有时不可避免地采用异步交互方式，但异步交互行为不可能无限等待。针对带有时间属性限制的异步交互的Web服务组合问题，提出了一种基于时间自动机的服务相容性检测算法。利用扩展时间属性的Web服务业务流程执行语言(BPEL)和自动机理论，将BPEL转换到时间自动机。根据时间自动机构遣的状态空间，使用图搜索算法对参与组合的各个服务进行带有时间属性限制相容性检测。最后通过一个实例分析，表明算法的可行性。
Web服务 异步交互服务 时间自动机 服务相容性 检测算法
夏洋洋 黄志球 王珊珊 范大娟 王进
南京航空航天大学计算机科学与技术学院 南京 210016
国内会议
长春
中文
56-60,66
2011-10-28（万方平台首次上网日期，不代表论文的发表时间）