Constraint-centric workflow change analytics

In a globalized economic environment with volatile business requirements, continuous process improvement needs to be done regularly in various organizations. However, maintaining the consistency of workflow models under frequent changes is a significant challenge in the management of corporate information services. Unfortunately, few formal approaches are found in the literature for managing workflow changes systematically. In this paper, we propose an analytical framework for workflow change management through formal modeling of workflow constraints, leading to an approach called Constraint-centric Workflow Change Analytics (CWCA). A core component of CWCA is the formal definition and analysis of workflow change anomalies. We operationalize CWCA by developing a change anomaly detection algorithm and validate it in the context of procurement management. A prototype system based on an open-source rule engine is presented to provide a proof-of-concept implementation of CWCA.

[1]  Minder Chen,et al.  Empowering collaborative commerce with Web services enabled business process management systems , 2007, Decis. Support Syst..

[2]  Dickson K. W. Chiu,et al.  A Meta Modeling Approach to Workflow Management Systems Supporting Exception Handling , 1999, Inf. Syst..

[3]  Akhil Kumar,et al.  Research Commentary: Workflow Management Issues in e-Business , 2002, Inf. Syst. Res..

[4]  Wil M. P. van der Aalst,et al.  Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.

[5]  M. Brian Blake,et al.  Agent-oriented compositional approaches to services-based cross-organizational workflow , 2005, Decis. Support Syst..

[6]  Ronald G. Ross IT systems perspective - The business rule approach , 2003, Computer.

[7]  Jeremy Gibbons,et al.  A Process Semantics for BPMN , 2008, ICFEM.

[8]  Henry H. Bi,et al.  Applying Propositional Logic to Workflow Verification , 2004, Inf. Technol. Manag..

[9]  Elisa Bertino,et al.  The specification and enforcement of authorization constraints in workflow management systems , 1999, TSEC.

[10]  Liwu Li,et al.  High-Level Petri Net Model of Logic Program with Negation , 1994, IEEE Trans. Knowl. Data Eng..

[11]  Maria E. Orlowska,et al.  Managing Change and Time in Dynamic Workflow Processes , 2000, Int. J. Cooperative Inf. Syst..

[12]  Michael zur Muehlen,et al.  Organizational Management in Workflow Applications - Issues and Perspectives , 2004, Inf. Technol. Manag..

[13]  Angelo Margaris First Order Mathematical Logic , 1967 .

[14]  Silvana Castano,et al.  Using Patterns to Design Rules in Workflows , 2000, IEEE Trans. Software Eng..

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

[17]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[18]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[19]  Mark Klein,et al.  A Knowledge-based Approach to Handling Exceptions in Workflow Systems , 2011, Computer Supported Cooperative Work (CSCW).

[20]  Richard N. Taylor,et al.  Techniques for Supporting Dynamic and Adaptive Workflow , 2000, Computer Supported Cooperative Work (CSCW).

[21]  Sheila A. McIlraith,et al.  A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services , 2008, IEEE Data Eng. Bull..

[22]  Vijayalakshmi Atluri,et al.  An Authorization Model for Workflows , 1996, ESORICS.

[23]  Silvana Castano,et al.  Managing Workflow Authorization Constraints through Active Database Technology , 2001, Inf. Syst. Frontiers.

[24]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[25]  Jeremy Gibbons,et al.  A Process-Algebraic Approach to Workflow Specification and Refinement , 2007, SC@ETAPS.

[26]  J. Leon Zhao,et al.  Workflow Automation: Overview and Research Issues , 2001, Inf. Syst. Frontiers.

[27]  Maria E. Orlowska,et al.  Data Flow and Validation in Workflow Modelling , 2004, ADC.

[28]  Liang-Jie Zhang,et al.  Policy-Driven Process Mapping (PDPM): Discovering process models from business policies , 2009, Decis. Support Syst..

[29]  Clarence A. Ellis,et al.  ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems , 2000, Computer Supported Cooperative Work (CSCW).

[30]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[31]  Gary Riley,et al.  Expert Systems: Principles and Programming , 2004 .

[32]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

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

[34]  Olivia R. Liu Sheng,et al.  Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

[35]  Michael Kifer,et al.  OpenRuleBench: an analysis of the performance of rule engines , 2009, WWW '09.

[36]  Jorge Lobo,et al.  An Extended Petri Net Model for Normal Logic Programs , 1995, IEEE Trans. Knowl. Data Eng..

[37]  T. Curran,et al.  SAP R/3 Business Blueprint: Understanding the Business Process Reference Model , 1997 .

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

[39]  Jeffrey V. Nickerson,et al.  Developing web services choreography standards - the case of REST vs. SOAP , 2005, Decis. Support Syst..

[40]  Robert W. Blanning,et al.  Synthesis and Decomposition of Processes in Organizations , 2003, Inf. Syst. Res..

[41]  Subrata Kumar Das,et al.  Deductive Databases and Logic Programming , 1992 .

[42]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[43]  Gunter Saake,et al.  Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.

[44]  Fabio Casati,et al.  Specification and implementation of exceptions in workflow management systems , 1999, TODS.

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

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

[47]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[48]  Saikat Mukherjee,et al.  Logic Based Approaches to Workflow Modeling and Verification , 2003, Logics for Emerging Applications of Databases.

[49]  Akhil Kumar,et al.  Process management in supply chains - a new Petri-net based approach , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[50]  Peter Buneman,et al.  Semistructured data , 1997, PODS.

[51]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

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

[53]  Robert W. Blanning,et al.  A Formal Approach to Workflow Analysis , 2000, Inf. Syst. Res..

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

[55]  Harris Wu,et al.  Supporting process design for e-business via an integrated process repository , 2011, Inf. Technol. Manag..

[56]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[57]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .