A Conceptual Framework for Business Process Redesign

This paper addresses the problem of managing business process change at the level of design-time artifacts, such as BPMN process models. Our approach relies on a sophisticated scheme for annotating BPMN models with functional effects as well as non-functional properties. This permits us to assess the extent of change being made, as well as the performance characteristics of the resulting processes.

[1]  James A. Hendler,et al.  AI Planning: Systems and Techniques , 1990, AI Mag..

[2]  Alain Wegmann,et al.  Regulation Based Linking of Strategic Goals and Business Processes , 2002, GBPM.

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

[4]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[5]  Kees M. van Hee,et al.  Using Formal Analysis Techniques in Business Process Redesign , 2000, Business Process Management.

[6]  Alain Wegmann,et al.  Remaining Fit: On the Creation and Maintenance of Fit , 2004, CAiSE Workshops.

[7]  Priya Narasimhan,et al.  Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings , 2007, ICSOC.

[8]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[9]  Pnina Soffer.  Scope analysis: identifying the impact of changes in business process models , 2005, Softw. Process. Improv. Pract..

[10]  Aditya K. Ghose,et al.  Towards an Enterprise Business Process Architecture Standard , 2008, 2008 IEEE Congress on Services - Part I.

[11]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[12]  Shazia Wasim Sadiq,et al.  Detecting Regulatory Compliance for Business Process Models through Semantic Annotations , 2008, Business Process Management Workshops.

[13]  William J. Kettinger,et al.  Business process change , 1997 .

[14]  Paul Harmon,et al.  Business Process Change , 2019, Business Process Change.

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

[16]  Daniel Jackson,et al.  Lightweight Formal Methods , 2001, FME.

[17]  Stefano Modafferi,et al.  A Methodology for Designing and Managing Context-Aware Workflows , 2005, MOBIS.

[18]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[19]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[20]  Stephen A. White,et al.  Business Process Modeling Notation (BPMN), Version 1.0 , 2004 .

[21]  Francesca Rossi,et al.  Bipolar Preference Problems: Framework, Properties and Solving Techniques , 2006, CSCLP.

[22]  Thomas Schiex,et al.  Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison , 1999, Constraints.

[23]  Jan Mendling,et al.  Introduction to the Fourth International Workshop on Business Process Intelligence (BPI 2008) , 2008, Business Process Management Workshops.

[24]  I. Weber,et al.  Semantic Business Process Validation , 2008 .

[25]  Karthikeyan Ponnalagu,et al.  Deriving service variants from business process specifications , 2008, Bangalore Compute Conf..

[26]  Shazia Wasim Sadiq,et al.  Managing Process Variants as an Information Resource , 2006, Business Process Management.

[27]  Kevin D. Barber,et al.  Modelling the strategy management process: An initial BPM approach , 2004, Bus. Process. Manag. J..

[28]  R. Kaplan,et al.  The balanced scorecard--measures that drive performance. , 2015, Harvard business review.

[29]  Wil M. P. van der Aalst,et al.  Configurable Process Models as a Basis for Reference Modeling , 2005, Business Process Management Workshops.

[30]  Howard Smith,et al.  Business Process Management: The Third Wave , 2003 .

[31]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .