DocumentCode
2555078
Title
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus
Author
Weidlich, Matthias ; Decker, Gero ; Weske, Mathias
Author_Institution
Univ. of Potsdam, Potsdam
fYear
2007
fDate
11-14 Dec. 2007
Firstpage
266
Lastpage
274
Abstract
The Business Process Execution Language (BPEL) has become the de-facto standard for the description of Web Service compositions. A variety of formal approaches to decide compatibility and consistency for BPEL processes has been presented. Nevertheless, these approaches suffer from high complexity and state explosion. Therefore we present a lean formalization of BPEL 2.0 based on the pi-calculus, that enables efficient reasoning. Due to our focus on behavioral compatibility and consistency checking (and not on comprehensive formalization), we are able to reduce effort needed for process verification. Besides the exemplary application of our approach, we also compare it to existing BPEL formalizations by means of complexity.
Keywords
Web services; business data processing; pi calculus; BPEL 2.0 Processes; Web service; business process execution language; de-facto standard; lean formalization; pi-calculus; Automata; Collaboration; Engines; Explosions; Investments; Petri nets; Service oriented architecture; State-space methods; Stock markets; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Asia-Pacific Service Computing Conference, The 2nd IEEE
Conference_Location
Tsukuba Science City
Print_ISBN
0-7695-3051-6
Type
conf
DOI
10.1109/APSCC.2007.36
Filename
4414470
Link To Document