首页 | 本学科首页   官方微博 | 高级检索  
     

面向基于场景规约的Web服务消息流分析与验证
引用本文:杨璐,柳溪,王林章,陈鑫,李宣东.面向基于场景规约的Web服务消息流分析与验证[J].计算机学报,2009,32(9).
作者姓名:杨璐  柳溪  王林章  陈鑫  李宣东
作者单位:南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机科学与技术系,南京,210093
基金项目:国家自然科学术研究发展计划项目基金(2009AA01Z48)基金项目,国家"八六三"高技和江苏省基础研究计划项目基金 
摘    要:采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性).文中通过一个贯穿整个分析与验证过程的实例加以说明.该方法已经实现成为一个原型工具.

关 键 词:Web服务  基于场景的规约  消息交互一致性验证

Scenario-Based Analysis and Verification for Web Services Message Flows
YANG Lu,LIU Xi,WANG Lin-Zhang,CHEN Xin,LI Xuan-Dong.Scenario-Based Analysis and Verification for Web Services Message Flows[J].Chinese Journal of Computers,2009,32(9).
Authors:YANG Lu  LIU Xi  WANG Lin-Zhang  CHEN Xin  LI Xuan-Dong
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号