[1]窦 浩,武艳文,段升强.基于Petri Net的BPEL流程建模与分析验证[J].西安建筑科技大学学报:自然科学版,2012,44(02):295-299.[doi:10.15986/j.1006-7930.2012.02.025]
　DOU Hao,WU Yan-wen,DUAN Sheng-qiang.Analysis and verification of BPEL process and modelling based on Petri Net[J].J.Xi’an Univ. of Arch. & Tech.:Natural Science Edition,2012,44(02):295-299.[doi:10.15986/j.1006-7930.2012.02.025]
点击复制

基于Petri Net的BPEL流程建模与分析验证()
分享到：

西安建筑科技大学学报:自然科学版[ISSN:1006-7930/CN:61-1295/TU]

卷:
44
期数:
2012年02期
页码:
295-299
栏目:
出版日期:
2012-04-30

文章信息/Info

Title:
Analysis and verification of BPEL process and modelling based on Petri Net
文章编号:
1006-7930(2012)02-0295-05
作者:
窦 浩; 武艳文; 段升强
(西安建筑科技大学信息网络中心,陕西 西安 710055)
Author(s):
DOU Hao;  WU Yan-wen;  DUAN Sheng-qiang
(Information and Network Center, Xian University of Architecture and Technology, Xian 710055, China)
关键词:
Web服务组合; BPEL; Petri Net;  正确性验证
Keywords:
Web services composition;  Petri Net;  BPEL;  verification
分类号:
TP 393.092
DOI:
10.15986/j.1006-7930.2012.02.025
文献标志码:
A
摘要:
设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Markup Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性
Abstract:
The research presents a Petri Net-based modeling and verification approach for BPEL process. The translation is guided by the syntax of BPEL. Where each is translated into a Petri Net pattern and the collection of pattern forms Petri Net semantics for BPEL. After the transformation, Petri Net modeling is saved in PNML document which is the standard interchange format of Petri net. Petri Net tools which support PNML file as input can be used to verify the process. And this guarantees that the problems of BPEL process such as unreachable activity can be detected before it is deployed. This research result using the Petri Net-based verification approach for Web services composition can ensure the correctness of Web services composition flow design and enhance the reliability of Web services composition

参考文献/References:

[1] W3C Working Group,David Booth,Hugo Hass.Web Services Architecture[EB/OL][2008-12-12].http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/.
[2] Leymann F,Roller D,Schmidt M T.Web services and business process management.IBM System Journal,2002,41(2):198-211.
[3] Web Services Business Process Execution Language(WS-BPEL).http://www.ibm.com/developerworks/library/specification/ws-bpel/.
[4] Christian Stahl.A Petri net semantic for BPEL4WS[D].Diplomarbeit,Humboldt-Universit?at zu Berlin,2005.
[5] 李小龙,毛文林.管道—过滤器模式的软件体系结构及其设计.计算机工程与应用[J].2003,39(35):114-115.
LI Xiao-long,MAO Wen-lin.Pipe-Filter Software Architecture and Its Design[J].Computer Engineering And Applications,2003,39(35):114-115.
[6] Platform Independent Petri Net Editor 2(PIPE).http://pipe2.sourceforge.net/

备注/Memo

备注/Memo:
收稿日期:2011-10-22 修改稿日期:2012-03-30
基金项目:国家2008年下一代互联网业务试商用及设备产业化专项(CNGI2008-060);国家科技支撑计划资助项目(2008BAH37B05060)
作者简介:窦 浩(1976-),男,陕西西安人,硕士,工程师,主要从事网络管理、网络安全工作.
更新日期/Last Update: 2015-09-01