PRV: An Approach to Process Model Refactoring in Evolving Process-Aware Information Systems

Process model improvement is one of the most important challenges to deal with in the field of evolving process-aware information systems. In this paper, we present, PRV, an approach to process model refactoring supporting automatic process model improvement, which enables PAIS to adapt to the varying business requirements. First, a set of change operations preserving soundness is defined to avoid complex verification. Second, an algorithm for process model refactoring based on variants is designed to restructure optimal models automatically. Finally, an extensive set of simulations are performed to show the feasibility and effectiveness of the proposed PRV algorithm.

[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]  Jens Palsberg,et al.  Complexity Results for 1-safe Nets , 1993, FSTTCS.

[3]  Yang Fuqing.  Thinking on the Development of Software Engineering Technology , 2005 .

[4]  A WagnerRobert,et al.  An Extension of the String-to-String Correction Problem , 1975 .

[5]  Manfred Reichert,et al.  Flexibility in Process-Aware Information Systems , 2009, Trans. Petri Nets Other Model. Concurr..

[6]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[7]  Mathias Weske,et al.  Change Propagation in Process Models Using Behavioural Profiles , 2009, 2009 IEEE International Conference on Services Computing.

[8]  Jiantao Zhou,et al.  On reachability graphs of Petri nets , 2003, Comput. Electr. Eng..

[9]  Mohamed Amine Chaâbane,et al.  Dealing with Business Process Evolution using Versions , 2008, ICE-B.

[10]  Wil M. P. van der Aalst,et al.  Process-Aware Information Systems: Lessons to Be Learned from Process Mining , 2009, Trans. Petri Nets Other Model. Concurr..

[11]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

[12]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[13]  Shazia Wasim Sadiq,et al.  On the Discovery of Preferred Work Practice Through Business Process Variants , 2007, ER.

[14]  van der Wmp Wil Aalst,et al.  Dealing with workflow change: identification of issues and solutions , 2000 .

[15]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[16]  Wil M. P. van der Aalst,et al.  Process-Aware Information Systems: Design, Enactment, and Analysis , 2009, Wiley Encyclopedia of Computer Science and Engineering.

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

[18]  Minsoo Kim,et al.  A Version Management Method for Managing Business Process Changes Based on Version-Stamped Business Process Change Patterns , 2008, 2008 3rd International Conference on Innovative Computing Information and Control.

[19]  Robert A. Wagner,et al.  An Extension of the String-to-String Correction Problem , 1975, JACM.

[20]  Salima Benbernou,et al.  Managing the Evolution of Service Specifications , 2008, CAiSE.

[21]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[22]  Mike P. Papazoglou,et al.  The Challenges of Service Evolution , 2008, CAiSE.