科技研究2014，Issue(7) ：578-578,581.

带时间约束的Web服务组合的模型检测方法研究

王雪红 刘柯威
科技研究2014，Issue(7) ：578-578,581.
✕
  • NETL
  • NSTL
  • 万方数据

带时间约束的Web服务组合的模型检测方法研究

王雪红 1刘柯威2
扫码查看

作者信息

  • 1. 贺州学院 计算机科学与信息工程学院，广西 贺州542899
  • 2. 贺州学院 计算机科学与信息工程学院，广西 贺州542899; 武汉大学 计算机学院，湖北 武汉430072
  • 折叠

摘要

针对带时间约束的Web服务组合，给出了一种模型检测方法。将Web服务组合的描述语言BPEL4WS转化成基于时间扩展的ASEHA语言，对Web服务组合建立形式化模型，采用模型检测工具UPPAAL对服务的属性进行验证，从而保证了该服务的安全性。

关键词

Web服务/ASEHA/BPEL

引用本文复制引用

出版年

2014
科技研究

科技研究

ISSN：
参考文献量1
段落导航相关论文