面向基于场景规约的Web服务消息流分析与验证

• 作者: 李宣东 杨璐 柳溪 王林章 陈鑫
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Web服务 基于场景的规约 消息交互一致性验证
• 年，卷（期）: 2009,（9）
• 页码范围: 1759-1772
• 页数: 14页
• 分类号: TP311
• 字数: 10273字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.01759

摘要

采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性).文中通过一个贯穿整个分析与验证过程的实例加以说明.该方法已经实现成为一个原型工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王林章	南京大学计算机软件新技术国家重点实验室	23	610	12.0	23.0
5	陈鑫	南京大学计算机软件新技术国家重点实验室	27	90	6.0	8.0
9	杨璐	南京大学计算机软件新技术国家重点实验室	14	76	5.0	8.0
13	柳溪	南京大学计算机软件新技术国家重点实验室	1	19	1.0	1.0