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
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;
Conference_Titel :
Information Science and Engineering (ISISE), 2012 International Symposium on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4673-5680-0
DOI :
10.1109/ISISE.2012.51
