DocumentCode
1910395
Title
A Petri-Net Model for Formal Modeling of WS-BPEL Processes
Author
Jia Li ; Yunni Xia ; Xin Luo
Author_Institution
Chongqing Technol. & Bus. Inst., Chongqing, China
fYear
2012
fDate
14-16 Dec. 2012
Firstpage
203
Lastpage
207
Abstract
Business Process Execution Language (WS-BPEL) is one of the most popular standards for Web service composition. To formalize WS-BPEL gives the way to further describe, reason, analyze and verify complex service compositions. In this paper, we propose a translation-based approach for formalization of WS-BPEL processes, which employs the Petri net as the intermediate representation. A set of translation rules is defined for constructs and activities so that processes specified in BPEL can be translated into the equivalent Petri nets.
Keywords
Petri nets; Web services; formal specification; formal verification; language translation; specification languages; Petri-net model; WS-BPEL process formalization; Web service composition; business process execution language; complex service composition; formal modeling; intermediate representation; translation rules; translation-based approach; Petri net; WS-BPEL;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Science and Engineering (ISISE), 2012 International Symposium on
Conference_Location
Shanghai
ISSN
2160-1283
Print_ISBN
978-1-4673-5680-0
Type
conf
DOI
10.1109/ISISE.2012.51
Filename
6495327
Link To Document