A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems

A new generation of open Business Process Management (BPM) systems based on the service-oriented architecture and Web service technologies has recently emerged. The general tendency for these systems should be governed by the integration of independent Web-service specifications. Web services requirements guide the description, execution and choreography of business process and the implementation of frameworks for supporting the coordination, synchronization and creation of business transactions. However, a wide variety of open research issues related to the lack of maturity of the involved specifications makes the development of standard-based BPM systems difficult. In this paper we propose an abstract architecture inspired by Web service specifications to overcome these difficulties. Also, a particular implementation based on the Nets-within-Nets paradigm and the Renew tool is presented. The result is an executable infrastructure able to run business processes (their workflows and coordination protocols) as well as the horizontal protocols that guarantee a coherent outcome of their whole execution, such as the WS-Atomic Transaction protocol.

[1]  Joaquín Ezpeleta,et al.  Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm , 2005, ICSOC.

[2]  Gustavo Rossi,et al.  Web Engineering , 2001, Lecture Notes in Computer Science.

[3]  Amit P. Sheth,et al.  Semantic Web Services and Web Process Composition, First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers , 2005, SWSWPC.

[4]  A Min Tjoa,et al.  E-Commerce and Web Technologies , 2002, Lecture Notes in Computer Science.

[5]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

[6]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[7]  Frank Leymann,et al.  Modeling business processes with BPEL4WS , 2004, Inf. Syst. E Bus. Manag..

[8]  Daniel Moldt,et al.  Modeling Dynamic Architectures Using Nets-Within-Nets , 2005, ICATPN.

[9]  Javier Fabra,et al.  RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions , 2006, EC-Web.

[10]  Daniel Moldt,et al.  A Proposal for Petri Net Based Web Service Application Modeling , 2004, ICWE.

[11]  Frank Leymann,et al.  Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More , 2005 .

[12]  Liliana Ardissono,et al.  Enabling Flexible Interaction with Web Services , 2004 .

[13]  Gustavo Alonso,et al.  Web Services , 2004, Data-Centric Systems and Applications.

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

[15]  Gianfranco Ciardo,et al.  Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.

[16]  Olaf Kummer.  Introduction to Petri Nets and Reference Nets , 2001 .

[17]  Jörg Desel,et al.  Application and Theory of Petri Nets 1998 , 2000, Lecture Notes in Computer Science.

[18]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[19]  Shalini Batra,et al.  Web Service Choreography Description Language ( WS-CDL ) : Goals and Benefits , 2007 .

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

[21]  Fabio Casati,et al.  Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings , 2005, ICSOC.

[22]  Anthony Nadalin,et al.  Web Services Coordination (WS- Coordination) , 2004 .

[23]  Jan Mendling.  Business Process Execution Language for Web Service (BPEL) , 2006 .

[24]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[25]  Daniel Moldt,et al.  DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets , 2004, FASE.

[26]  Rüdiger Valk,et al.  Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

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

[28]  Santhosh Kumaran,et al.  Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[29]  L. Cabrera,et al.  Web Services Business Activity Framework (WS-BusinessActivity) , 2004 .

[30]  Umeshwar Dayal,et al.  Business Process Coordination: State of the Art, Trends, and Open Issues , 2001, VLDB.

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

[32]  Stefan Tai,et al.  The next step in Web services , 2003, CACM.