A service-based architecture for dynamically reconfigurable workflows

In the last few years, business process management systems have been employed for handling information systems of ever increasing complexity. As a consequence, the adoption of modelling languages enabling smooth and seamless transitions among the various phases of the process lifecycle, the ability of exploiting coordination schema over distributed execution contexts and the support for dynamic evolution and reconfiguration have become software engineering issues of great importance. This paper proposes the use of PN-Engine, a decentralized Petri nets execution engine, as a business process enactment engine. PN-Engine, which is based on the Jini service architecture, supports the decentralized execution of process models specified as Petri nets (PNs) enhanced with modular constructs and offers suitable mechanisms for dealing with the aforementioned design issues. PN-Engine allows to deploy and enact a new version of an existing process model without requiring the stopping/removal of older instances that are still running. The paper presents a novel approach enabling a decentralized migration procedure where concurrent portions of older instances migrate asynchronously to the new process model. Advantages of the proposed approach are demonstrated by means of an example concerning a workflow for a wine-production process.

[1]  Gustavo Alonso,et al.  The WISE approach to Electronic Commerce , 2000 .

[2]  Franco Cicirelli,et al.  An approach to protocol modeling and validation , 2006, 39th Annual Simulation Symposium (ANSS'06).

[3]  Wil M. P. van der Aalst,et al.  XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology , 2002, WES.

[4]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

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

[6]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[7]  Jeffrey G. Gray,et al.  Grid‐Flow: a Grid‐enabled scientific workflow system with a Petri‐net‐based interface , 2006, Concurr. Comput. Pract. Exp..

[8]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[9]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[10]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[11]  Massimo Mecella Adaptive Process Management. Issues and (Some) Solutions , 2008, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[12]  Ekkart Kindler,et al.  A universal module concept for Petri nets , 2001 .

[13]  Nicholas Carriero,et al.  How to write parallel programs - a first course , 1990 .

[14]  W. Keith Edwards,et al.  Core Jini , 1999 .

[15]  Olivier H. Roux,et al.  Structural translation from Time Petri Nets to Timed Automata , 2005, J. Syst. Softw..

[16]  Robert Flenner Jini and Java Spaces Application Development , 2001 .

[17]  Massimo Mecella,et al.  Modeling E -service Orchestration through Petri Nets , 2002, TES.

[18]  Luciano Baresi,et al.  Towards Distributed BPEL Orchestrations , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[19]  Michael Havey,et al.  Essential business process modeling , 2005 .

[20]  Yoke San Wong,et al.  Dynamic workflow change in PDM systems , 2007, Comput. Ind..

[21]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[22]  John Hunt,et al.  Java Message Service (JMS) , 2003 .

[23]  Wil M. P. van der Aalst,et al.  Dynamic, Extensible and Context-Aware Exception Handling for Workflows , 2007, OTM Conferences.

[24]  Haiying Xu,et al.  Transformation of BPEL Processes to Petri Nets , 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

[25]  Franco Cicirelli,et al.  A General Brokering Architecture Layer and its application to Video on-Demand over the Internet , 2007, Informatica.

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

[27]  Robert Flenner Jini and JavaSpaces Application Development , 2001 .

[28]  Wil M. P. van der Aalst,et al.  Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows , 2006, OTM Conferences.

[29]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[30]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

[31]  Fabio Casati,et al.  Dynamic and adaptive composition of e-services , 2001, Inf. Syst..

[32]  Pearl Brereton,et al.  Service-based software: the future for flexible software , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[33]  Wei Tan,et al.  Decentralized Workflow Execution for Virtual Enterprises in Grid Environment , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing Workshops.

[34]  L. Aversano,et al.  FlowManager: a workflow management system based on Petri nets , 2002, Proceedings 26th Annual International Computer Software and Applications.

[35]  Gerhard Weikum,et al.  XML-enabled workflow management for e-services across heterogeneous platforms , 2001, The VLDB Journal.

[36]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[37]  van der Wmp Wil Aalst,et al.  Dealing with workflow change: identification of issues and solutions , 2000 .

[38]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

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

[40]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[41]  Clarence A. Ellis,et al.  Proceedings of conference on Organizational computing systems , 1995 .

[42]  Faris Nizamic,et al.  Service-Oriented Computing , 2010, Lecture Notes in Computer Science.

[43]  Mike P. Papazoglou,et al.  Introduction: Service-oriented computing , 2003, CACM.

[44]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[45]  Akhil Kumar,et al.  Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications , 2001, TES.

[46]  W.M.P. van der Aalst,et al.  Analyzing BPEL processes using Petri nets , 2005 .

[47]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[48]  L. Nigro,et al.  USING TPN/DESIGNER AND UPPAAL FOR MODULAR MODELLING AND ANALYSIS OF TIME-CRITICAL SYSTEMS , 2007 .

[49]  Sunil Chandra,et al.  Decentralized orchestration of composite web services , 2004, WWW Alt. '04.

[50]  Franco Cicirelli,et al.  Integration and Interoperability between Jini services and Web Services , 2007, IEEE International Conference on Services Computing (SCC 2007).

[51]  Changjun Jiang,et al.  Analysis of workflow dynamic changes based on Petri net , 2009, Inf. Softw. Technol..

[52]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[53]  Maryam Purvis,et al.  An adaptive distributed workflow system framework , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[54]  Mark Lycett,et al.  Service-oriented architecture , 2003, 2003 Symposium on Applications and the Internet Workshops, 2003. Proceedings..

[55]  Franco Cicirelli,et al.  Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty , 2006, Real-Time Systems.

[56]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[57]  D. Hollingsworth The workflow Reference Model , 1994 .

[58]  Paul Compton,et al.  Knowledge in Context: A Strategy for Expert System Maintenance , 1990, Australian Joint Conference on Artificial Intelligence.

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