| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 面向基于场景规约的Web服务消息流分析与验证 |
| 作者 | 杨璐 柳溪 王林章 陈鑫 李宣东 |
| 作者单位 | (南京大学计算机软件新技术国家重点实验室 南京 210093) (南京大学计算机科学与技术系 南京 210093) |
| 发表年份 | 2009 |
| 发表月份 | 9期(1759—1772) |
| 文章摘要 | 摘要 采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言，提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法：首先，对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型；同时，为了缩小状态空间、提高验证效率，在不影响消息交互顺序的前提下，对WS-BPEL源码和基于Petri网的模型分别进行化简，即面向基于场景规约将与验证无关的活动和元素删除；最后，通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性).文中通过一个贯穿整个分析与验证过程的实例加以说明.该方法已经实现成为一个原型工具. 关键词 Web服务；基于场景的规约；消息交互一致性验证 中图法分类号：TP311 DOI号：10.3724/SP.J.1016.2009.01759 |