基于时间扩展的Web服务模型检测

• 作者: 刘柯威 王雪红 胡元闯 陈冠萍
• 来源期刊: 佛山科学技术学院学报（自然科学版）
• 学科: 工学
• 关键词: Web服务 ASEHA 时钟约束 UPPAAL
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 信息科学
• 页码范围: 14-17
• 页数: 4页
• 分类号: TP393.09
• 字数: 1959字
• 语种: 中文

摘要

由于传统的形式化方法不能保证带时间约束的组合Web服务安全可靠地运行,为了有效地分析并确保带时间约束的组合Web服务的正确性,利用时间自动机验证工具UPPAAL将带时间约束的组合Web服务的每个原子服务建立自动机模型,给出ASEHA语义描述,并用模拟器模拟带时间约束的Web服务的运行过程,对带有时间约束的Web服务的属性进行分析.最后,以旅行预订票组合系统为例,验证其死锁、活性和安全性.实例证明此方法有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈冠萍	贺州学院计算机科学与信息工程学院	22	55	4.0	6.0
2	胡元闯	贺州学院计算机科学与信息工程学院	21	38	3.0	4.0
3	刘柯威	贺州学院计算机科学与信息工程学院	4	3	1.0	1.0
4	王雪红	贺州学院计算机科学与信息工程学院	8	4	1.0	2.0