Guaranteeing Soundness of Configurable Process Variants in Provop

Usually, for a particular business process a multitude of variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the process context. While some progress has been achieved regarding the configuration of process variants, there exists only little work on how to accomplish this in a sound and efficient manner, especially when considering the large number of process variants that exist in practice as well as the many syntactical and semantical constraints they have to obey. In this paper we discuss advanced concepts for the context- and constraint-based configuration of process variants, and show how they can be utilized to ensure soundness of the configured process variants. Enhancing process-aware information systems with the capability to easily configure sound process models, belonging to the same process family and fitting to the given application context, will enable a new quality in engineering process-aware information systems.

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

[2]  Leonard J. Bass,et al.  Managing variability in software architectures , 2001, SSR '01.

[3]  Manfred Reichert,et al.  IT Support for Release Management Processes in the Automotive Industry , 2006, Business Process Management.

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

[5]  Manfred Reichert,et al.  Context-based Configuration of Process Variants , 2008 .

[6]  Manfred Reichert,et al.  Managing Process Variants in the Process Life Cycle , 2007, ICEIS.

[7]  Manfred Reichert,et al.  Capturing variability in business process models: the Provop approach , 2010 .

[8]  Kevin Crowston,et al.  Organizing Business Knowledge: The MIT Process Handbook , 2003 .

[9]  Jan Mendling,et al.  Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects , 2007, ER.

[10]  Manfred Reichert,et al.  Issues in Modeling Process Variants with Provop , 2008, Business Process Management Workshops.

[11]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[12]  Wil M. P. van der Aalst,et al.  A configurable reference modelling language , 2007, Inf. Syst..

[13]  Manfred Reichert,et al.  Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[14]  Manfred Reichert,et al.  Capturing variability in business process models: the Provop approach , 2010, J. Softw. Maintenance Res. Pract..

[15]  Marlon Dumas,et al.  Questionnaire-driven Configuration of Reference Process Models , 2007, CAiSE.

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

[17]  Stefanie Rinderle-Ma,et al.  On the Formal Semantics of Change Patterns in Process-Aware Information Systems , 2008, ER.

[18]  Manfred Reichert,et al.  Configuration and Management of Process Variants , 2010, BPM 2010.

[19]  Jan Mendling,et al.  Correctness-Preserving Configuration of Business Process Models , 2008, FASE.

[20]  Manfred Reichert,et al.  Correct Configuration of Process Variants in Provop , 2009 .

[21]  Wil M. P. van der Aalst,et al.  Configurable Workflow Models , 2008, Int. J. Cooperative Inf. Syst..

[22]  Martin Becker,et al.  Comprehensive Variability Modelling to Facilitate Efficient Variability Treatment , 2001, PFE.

[23]  Klaus Pohl,et al.  Communicating the variability of a software-product family to customers , 2004, Informatik Forschung und Entwicklung.

[24]  Wil M. P. van der Aalst,et al.  Configurable Reference Modeling Languages , 2006 .