Correctness-Preserving Configuration of Business Process Models

Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. Although the advantages of reusing reference process models compared to designing process models from scratch are widely accepted, the methods employed to configure reference process models are manual and error-prone. In particular, analysts are left with the burden of ensuring the correctness of the individualized process models and to manually fix errors. This paper proposes a foundation for configuring reference process models incrementally and in a way that ensures the correctness of the individualized process models, both with respect to syntax and behavioral semantics. Specifically, assuming the reference process model is behaviorally sound, the individualized process models are guaranteed to be sound.

[1]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[2]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[3]  Christian Probst,et al.  Business Process Reference Model Languages: Experiences from BPI Projects , 2003, GI Jahrestagung.

[4]  Wil M.P. van der Aalst,et al.  Configurable Process Models — A Foundational Approach , 2007 .

[5]  Michal Antkiewicz,et al.  FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[8]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

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

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

[11]  T. Kessler,et al.  Aligning the supply chain operations reference (SCOR) model with enterprise applications , 2001, PICMET '01. Portland International Conference on Management of Engineering and Technology. Proceedings Vol.1: Book of Summaries (IEEE Cat. No.01CH37199).

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

[13]  Walter F. Tichy,et al.  Configuration management , 1995 .

[14]  Nagisa Ishiura,et al.  Shared binary decision diagram with attributed edges for efficient Boolean function manipulation , 1990, 27th ACM/IEEE Design Automation Conference.

[15]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[16]  Aletta Nylén,et al.  SAT-Solving the Coverability Problem for Petri Nets , 2004, Formal Methods Syst. Des..

[17]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[18]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[19]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[20]  C. M. Palmer Building effective alliances in the meat supply chain: lessons from the UK , 1996 .

[21]  Wil M. P. van der Aalst,et al.  SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model , 2007, BPM.

[22]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

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

[24]  Aniruddha S. Gokhale,et al.  Addressing the middleware configuration challenges using model-based techniques , 2004, ACM-SE 42.

[25]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

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

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