Title :
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus
Author :
Weidlich, Matthias ; Decker, Gero ; Weske, Mathias
Author_Institution :
Univ. of Potsdam, Potsdam
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;
Conference_Titel :
Asia-Pacific Service Computing Conference, The 2nd IEEE
Conference_Location :
Tsukuba Science City
Print_ISBN :
0-7695-3051-6
DOI :
10.1109/APSCC.2007.36
