基于XYZ/ADL的异步Web服务组合描述与验证

摘要：

Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证.首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性；然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性.

关键词：Web服务组合、XYZ/ADL、异步通信、时间属性、模型检测

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60973149;江苏省自然科学基金BK2011281;中国科学院计算机科学国家重点实验室开放课题SYSKF0908;江苏省高校自然科学研究项目08KJB520010;苏州大学国家级大学生创新性实验计划项目101028524

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：139-143