时间感知的Web服务组合描述与验证分析.docVIP

时间感知的Web服务组合描述与验证 指导教师 张广泉 摘要：如何将现有的Web服务进行组合，实现服务的增值是目前服务计算领域的一个研究热点。针对目前服务组合研究中缺乏对时间属性验证的问题，提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法。首先，该方法将BPEL描述的Web服务行为文档TSM，并转化为UPPAAL规约，然后用分支时序逻辑CTL表示服务组合的性质，最后采用模型检测工具UPPAAL验证服务组合的性质，并结合实例分析 关键词：服务组合；BPEL；TSM模型；UPPAAL；描述；验证 Specification and Verification of Time Aware Service Composition Abstract: How to combine the existing Web services to achieve value-added service is the current research focus. Considering that the current service composition lacks of time property verification, this paper proposes a method for model checking of web service composition b