Analyzing interacting WS-BPEL processes using flexible model generation

We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). To manage processes of realistic size, we present a concept of a flexible model generation which allows the generation of compact Petri net models. A case study demonstrates the value of this technology chain.

[1]  Niels Lohmann,et al.  Operating Guidelines for Finite-State Services , 2007, ICATPN.

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

[3]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[4]  Wil M. P. van der Aalst,et al.  WofBPEL: A Tool for Automated Analysis of BPEL Processes , 2005, ICSOC.

[5]  Hassen Saïdi,et al.  Construction of Abstract State Graphs with PVS , 1997, CAV.

[6]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[7]  Carlos Delgado Kloos,et al.  Formal Verification of BPEL4WS Business Collaborations , 2004, EC-Web.

[8]  Christian Stahl,et al.  A Petri Net Semantics for BPEL , 2005 .

[9]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[10]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[11]  Daniela Weinberg,et al.  Reduction Rules for Interaction Graphs , 2006 .

[12]  Karsten Schmidt,et al.  Controllability of Open Workflow Nets. , 2005 .

[13]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[14]  Roozbeh Farahbod,et al.  Specification and Validation of the Business Process Execution Language for Web Services , 2004, Abstract State Machines.

[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]  Jacques Vautherin,et al.  Parallel systems specitications with coloured Petri nets and algebraic specifications , 1986, European Workshop on Applications and Theory of Petri Nets.

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

[19]  Jorg Desel,et al.  Enterprise Modelling and Information Systems Architectures , 2005 .

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

[21]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[22]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[23]  Roland Kaschek.  Entwicklungsmethoden für Informationssysteme und deren Anwendung , 1999 .

[24]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

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

[26]  Wolfgang Reisig,et al.  An Operating Guideline Approach to the SOA , 2005 .

[27]  Niels Lohmann,et al.  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.

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

[29]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[30]  Simon Moser,et al.  Analyzing Compatibility of BPEL Processes Towards a Business Process Analysis Framework in IBM's Business Integration Tools , 2006 .

[31]  Niels Lohmann,et al.  Analyzing Interacting BPEL Processes , 2006, Business Process Management.

[32]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[33]  Karsten Wolf,et al.  Operating guidelines - an automata-theoretic foundation for the service-oriented architecture , 2005, Fifth International Conference on Quality Software (QSIC'05).

[34]  Mike P. Papazoglou,et al.  Proceedings of the 11th International Conference on Service-Oriented Computing (ICSOC 2013) , 2004 .