基于时间扩展的Web服务模型检测
由于传统的形式化方法不能保证带时间约束的组合Web服务安全可靠地运行,为了有效地分析并确保带时间约束的组合Web服务的正确性,利用时间自动机验证工具UPPAAL将带时间约束的组合Web服务的每个原子服务建立自动机模型,给出ASEHA语义描述,并用模拟器模拟带时间约束的Web服务的运行过程,对带有时间约束的Web服务的属性进行分析.最后,以旅行预订票组合系统为例,验证其死锁、活性和安全性.实例证明此方法有效.
Web服务、ASEHA、时钟约束、UPPAAL
35
TP393.09(计算技术、计算机技术)
广西自然科学基金资助项目2014jjBA70066;贺州学院校级科研项目2014ZC22;贺州学院校级教改项目hzxyjg201514,hzxyjg201515
2017-06-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
14-17