Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

We present Dynamic Condition Response Graphs (DCR Graphs) as a declarative, event-based process model inspired by the workflow language employed by our industrial partner and conservatively generalizing prime event structures. A dynamic condition response graph is a directed graph with nodes representing the events that can happen and arrows representing four relations between events: condition, response, include, and exclude. Distributed DCR Graphs is then obtained by assigning roles to events and principals. We give a graphical notation inspired by related work by van der Aalst et al. We exemplify the use of distributed DCR Graphs on a simple workflow taken from a field study at a Danish hospital, pointing out their flexibility compared to imperative workflow models. Finally we provide a mapping from DCR Graphs to Buchi-automata.

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

[2]  Glynn Winskel,et al.  Models for Concurrency , 1994 .

[3]  Alin Deutsch,et al.  Automatic verification of data-centric business processes , 2009, ICDT '09.

[4]  M Maja Pesic,et al.  Constraint-based workflow management systems : shifting control to users , 2008 .

[5]  Allan Cheng.  Petri Nets, Traces, and Local Model Checking , 1997, Theor. Comput. Sci..

[6]  Raghava Rao Mukkamala,et al.  From Dynamic Condition Response Structures to Büchi Automata , 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

[7]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[8]  Dov M. Gabbay,et al.  Handbook of logic in computer science (vol. 4): semantic modelling , 1995 .

[9]  Munindar P. Singh,et al.  An Event Algebra for Specifying and Scheduling Workflows , 1995, DASFAA.

[10]  Nihan Kesim Cicekli,et al.  Formalizing Workflows Using the Event Calculus , 2000, DEXA.

[11]  Nihan Kesim Cicekli,et al.  Formalizing the specification and execution of workflows using the event calculus , 2006, Inf. Sci..

[12]  Robert A. Kowalski,et al.  Database Updates in the Event Calculus , 1992, J. Log. Program..

[13]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[14]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[15]  Rüdiger Valk,et al.  Infinite behaviour and fairness in Petri nets , 1985, European Workshop on Applications and Theory in Petri Nets.

[16]  Christoph Bussler,et al.  Implementing agent coordination for workflow management systems using active database systems , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[17]  Jianwen Su,et al.  Towards Formal Analysis of Artifact-Centric Business Process Models , 2007, BPM.

[18]  Ismail Hakki Toroslu,et al.  A Logical Framework for Scheduling Workflows under Resource Allocation Constraints , 2002, VLDB.

[19]  Jörg Desel,et al.  Modeling, Simulation and Analysis of Business Processes , 2000, Business Process Management.

[20]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[21]  Raghava Rao Mukkamala,et al.  From Paper Based Clinical Practice Guidelines to Declarative Workflow Management , 2008, Business Process Management Workshops.

[22]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[23]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[24]  Norman W. Paton,et al.  A logic-based integration of active and deductive databases , 1997, New Generation Computing.

[25]  Richard Hull,et al.  Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes , 2009, IEEE Data Eng. Bull..

[26]  Raghava Rao Mukkamala,et al.  The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.