Rule-Based Synchronization of Process Activities

Synchronization of running process instances has been identified as major challenge in literature and practice. Although process instances are, for example, often required to share resources such as printers or centrifuges, the necessary instance synchronization is not supported by most process engines. While existing (scarcely supported) patterns deal with the intra-process synchronization of activities, a model for a more generic synchronization mechanism is still missing. The contribution of this paper is two-fold. (1) We introduce a generic model to describe the state transitions of process instances at runtime, and based on this model (2) define a subscription based event / voting mechanism that enables arbitrary synchronization within and between running instances. In order to demonstrate the validity of our approach, we will conduct an extensive evaluation against existing synchronization patterns, as well as describe a generic rule engine prototype that implements the presented approach.

[1]  Frank Leymann,et al.  Exception Handling in the BPEL4WS Language , 2003, Business Process Management.

[2]  Johann Eder,et al.  Using Stateful Activities to Facilitate Monitoring and Repair in Workflow Choreographies , 2009, 2009 Congress on Services - I.

[3]  Aditya K. Ghose,et al.  Auditing Business Process Compliance , 2007, ICSOC.

[4]  Gustavo Alonso,et al.  Process synchronization in workflow management systems , 1996, Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing.

[5]  Christian Heinlein,et al.  Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols , 2002, OTM.

[6]  Stefanie Rinderle-Ma,et al.  Data-Driven Process Control and Exception Handling in Process Management Systems , 2006, CAiSE.

[7]  Erich Schikuta,et al.  Building a modular service oriented workflow engine , 2009, 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[8]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[9]  Manfred Reichert,et al.  From ADEPT to AristaFlow BPM Suite: A Research Vision Has Become Reality , 2009, Business Process Management Workshops.

[10]  François Charoy,et al.  Multiple Instantiation in a Dynamic Workflow Environment , 2004, CAiSE.

[11]  Christian Heinlein,et al.  Workflow and process synchronization with interaction expressions and graphs , 2001, Proceedings 17th International Conference on Data Engineering.

[12]  Maria E. Orlowska,et al.  Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..

[13]  Hyerim Bae,et al.  Automatic control of workflow processes using ECA rules , 2004, IEEE Transactions on Knowledge and Data Engineering.

[14]  Peter Dadam,et al.  Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems , 2010, CAiSE.

[15]  Erich Schikuta,et al.  Cloud Process Execution Engine - Evaluation of the Core Concepts , 2010, ArXiv.

[16]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

[17]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

[18]  Sanjiva Weerawarana,et al.  Implementing BPEL4WS: the architecture of a BPEL4WS implementation , 2006, Concurr. Comput. Pract. Exp..