Analyzing Compatibility of BPEL Processes Towards a Business Process Analysis Framework in IBM's Business Integration Tools

The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services – backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming, and errorprone activity. Formal methods like Petri nets enable the effective analysis of one single BPEL process as well as the comparison of multiple given BPEL models, and the generation of a BPEL model out of another. The current paper presents an prototypically implemented analysis framework that integrates those methods into IBM’s business integration tools. The value of such a framework is illustrated by analyzing behavioral compatibility between BPEL processes, one of the most crucial properties in real-world B2B scenarios.

[1]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[2]  Axel Martens.  On Compatibility of Web Services , 2003 .

[3]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[4]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004 .

[5]  Axel Martens,et al.  Simulation and Equivalence between BPEL Process Models , 2005 .

[6]  Wil M.P. van der Aalst,et al.  Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype , 2005 .

[7]  Wil M. P. van der Aalst,et al.  Modeling and Analyzing Interorganizational Workflows , 1998, ACSD.

[8]  Axel Martens,et al.  Consistency between executable and abstract processes , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[9]  Karsten Schmidt.  LoLA: a low level analyser , 2000 .

[10]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[11]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[12]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[13]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[14]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[15]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[16]  Wolfgang Reisig,et al.  ASM-based Semantics for BPEL: The Negative Control Flow , 2005, Abstract State Machines.

[17]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.