数据和时间感知的Web服务组合模型检测

摘要：

为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法.首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证.

关键词：Web服务组合、数据属性、时间属性、BPEL、模型检测

所属期刊栏目：38

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

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

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

页数：共5页

页码：123-126,136