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

作者：狄浩军; 戎玫; 张广泉; 朱稷涵

来源：计算机科学, 2011, (11): 123-126+136.

• Web服务组合
• 数据属性
• 时间属性
• BPEL
• 模型检测 Web service composition
• Data property
• Time property
• Model checking

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

• 单位
  暨南大学深圳旅游学院; 中国科学院软件研究所; 苏州大学; 计算机科学国家重点实验室