|Table of Contents|

A General Stochastic Petri Net-Based Representation for Modeling BPEL(PDF)

《南京师大学报（自然科学版）》[ISSN:1001-4616/CN:32-1239/N]

Issue:
2014年01期
Page:
17-
Research Field:
计算机科学
Publishing date:

Info

Title:
A General Stochastic Petri Net-Based Representation for Modeling BPEL
Author(s):
Tan Wenan1; 2; Ge Mingjue1
(1.School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China) (2.School of Computer and Information,Shanghai Second Polytechnic University,Shanghai 201209,China)
Keywords:
BPEL; GSPN; service composition; modeling
PACS:
TP311
DOI:
-
Abstract:
Business Process Execution Language(BPEL)is a widely utilized web service composition standard to support cross-organizational collaboration.For analyzing the performance of the process generated through BPEL,we propose a way to construct more reliable cross-workflow applications.Basic on General Stochastic Petri Net(GSPN),a BPEL model is proposed in this paper.A detailed description of the BPEL syntax,semantic,activity’s statues and the execution mechanism and logic are introduced.Finally,a practical case study has proved this representation suitable for support performance analysis of the proposed model quantificationally and the future works are discussed.

References:

[1] Ouyang C,Verbeek E,van der Aalst W M P,et al.Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming,2007,67(2/3):162-198.
[2]Yang Y P,Tan Q P,Xiao Y.Verifying web services composition based on hierarchical colored Petri nets[C]//Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems.New York:ACM,2005:47-54.
[3]王玉英,陈平.基于有色Petri网的BPEL中flow活动建模[J].计算机应用研究,2011(28):632-635.
[4]Liu X,Li J H,Li X,et al.BPEL modeling based on extended synchronized Petri net[J].计算机工程,2011(37):57-59.
[5]Niels Lohmann.A feature-complete Petri net semantics for WS-BPEL 2.0[J].Lecture Notes in Computer Science,2008(4 937):77-91.
[6]Henrique Jorge A Holanda,Barroso G C,Serra A,et al.SPEWS:a framework for the performance analysis of web services orchestrated with BPEL4WS[C]//Fourth International Conference on Internet and Web Applications and Services.Venice,2009:363-369.
[7]Wang W P,Gao Z L,Bao S Y,et al.The development of reliability modeling and analysis tool based on stochastic Petri nets[J].Advanced Materials Research,2010(118/120):566-570.
[8]Xia Y,Liu Y,Lin J,et al.Modeling and performance evaluation of BPEL processes:A stochastic-Petri-net-based approach[J].IEEE Transactions on Systems,Man and Cybernetics—Part A:Systems and Humans,2012(42):503-510.
[9]Pastor E,Roig O,Cortadella J,et al.Petri net analysis using Boolean manipulation in Proc Appl[J].Theory Petri Nets,1994(1):416-435.

Memo

Memo:
-
Last Update: 2014-03-30