国家学术搜索
登录
注册
中文
EN
首页
|
带时间约束的Web服务组合的模型检测方法研究
带时间约束的Web服务组合的模型检测方法研究
引用
认领
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
万方数据
中文摘要：
针对带时间约束的Web服务组合，给出了一种模型检测方法。将Web服务组合的描述语言BPEL4WS转化成基于时间扩展的ASEHA语言，对Web服务组合建立形式化模型，采用模型检测工具UPPAAL对服务的属性进行验证，从而保证了该服务的安全性。
收起全部
展开查看外文信息
作者：
王雪红、刘柯威
展开 >
作者单位：
贺州学院 计算机科学与信息工程学院，广西 贺州542899
武汉大学 计算机学院，湖北 武汉430072
关键词：
Web服务
ASEHA
BPEL
出版年：
2014
科技研究
科技研究
ISSN：
年,卷(期)：
2014.
(7)
参考文献量
1
NETL
NSTL
万方数据
