Mining Process Model Variants: Challenges, Techniques, Examples

During the last years a new generation of process-aware information systems has emerged, which enables process model configurations at buildtime as well as process instance changes during runtime. Respective model adaptations result in large collections of process model variants that are derived from same process model, but slightly differ in structure. Generally, such model variants are expensive to maintain and configure. Starting with a collection of related process model variants, the major goal of this thesis is to discover a reference process model out of which these variants can be easily configured; i.e., a reference process model with minimal average change distance to the variants. To achieve this goal we present two advanced algorithms which are applicable in different scenarios. Our clustering algorithm does not presume any knowledge about the original reference process model out of which the process model variants were configured. By only looking at the process model variants, this algorithm can quickly discover a reference process model in polynomial time, which allows us to scale up when solving real-world problems. Our heuristic algorithm, in turn, can take the original reference model into account as well. In particular, the user can control to what degree the discovered model differs from the original one. This way we can avoid spaghetti-like process models and additionally control how many changes we want to perform on the original reference model. We systematically evaluate and compare the two algorithms based on simulations that comprise more than 7000 process models. Simulation results indicate good performance and make the differences between the two algorithms explicit. For example, the simulation results indicate that our clustering algorithm runs significantly faster than our heuristic algorithm. However, our heuristic algorithm can identify important changes at the beginning of the search and can discover better results than the clustering algorithm. We successfully applied the two algorithms to cases from the automotive and the healthcare domain. During these case studies, the practical relevance and benefit of our work has become evident once more.

[1]  Roel Wieringa,et al.  Requirements engineering paper classification and evaluation criteria: a proposal and a discussion , 2005, Requirements Engineering.

[2]  Michael Rosemann,et al.  Potential pitfalls of process modeling: part A , 2006, Bus. Process. Manag. J..

[3]  Manfred Reichert,et al.  A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures , 2008, CAiSE.

[4]  Manfred Reichert,et al.  Refactoring Process Models in Large Process Repositories , 2008, CAiSE.

[5]  Manfred Reichert,et al.  Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms , 2009 .

[6]  Manfred Reichert,et al.  A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants , 2009 .

[7]  Diogo R. Ferreira,et al.  Understanding Spaghetti Models with Sequence Clustering for ProM , 2009, Business Process Management Workshops.

[8]  Robert E. Tarjan,et al.  Fast Algorithms for Finding Nearest Common Ancestors , 1984, SIAM J. Comput..

[9]  Jiawei Han,et al.  gSpan: graph-based substructure pattern mining , 2002, 2002 IEEE International Conference on Data Mining, 2002. Proceedings..

[10]  Wil M. P. van der Aalst,et al.  Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows , 2006, OTM Conferences.

[11]  Philip Bille,et al.  A survey on tree edit distance and related problems , 2005, Theor. Comput. Sci..

[12]  Wil M.P. van der Aalst,et al.  Getting rid of OR-joins and multiple start events in business process models , 2008, Enterp. Inf. Syst..

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

[14]  Sebastián Uchitel,et al.  Compatibility verification for Web service choreography , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[15]  Shlomit S. Pinter,et al.  Discovering workflow models from activities' lifespans , 2004, Comput. Ind..

[16]  Wil M. P. van der Aalst,et al.  Mining configurable enterprise information systems , 2006, Data Knowl. Eng..

[17]  John M. Harris,et al.  Explicitly Parallel Regular Expressions , 2006, First International Multi-Symposiums on Computer and Computational Sciences (IMSCCS'06).

[18]  Rik Eshuis,et al.  Structural Matching of BPEL Processes , 2007, Fifth European Conference on Web Services (ECOWS'07).

[19]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

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

[21]  Holger Hermanns,et al.  A tool for model-checking Markov chains , 2003, International Journal on Software Tools for Technology Transfer.

[22]  Rajiv Sabherwal,et al.  Alignment Between Business and IS Strategies: A Study of Prospectors, Analyzers, and Defenders , 2001, Inf. Syst. Res..

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

[24]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[25]  Zvonko G. Vranesic,et al.  Fundamentals of Digital Logic with Verilog Design , 1999 .

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

[27]  Luigi Pontieri,et al.  Mining Hierarchies of Models: From Abstract Views to Concrete Specifications , 2005, Business Process Management.

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

[29]  Remco M. Dijkman,et al.  Graph Matching Algorithms for Business Process Model Similarity Search , 2009, BPM.

[30]  Carlo Combi,et al.  Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data , 2009, OTM Conferences.

[31]  Wil M. P. van der Aalst,et al.  A Generic Import Framework for Process Event Logs , 2006, Business Process Management Workshops.

[32]  Bernard Manderick,et al.  Finding Optimal Representations Using the Crossover Correlation Coefficient , 1996, SBIA.

[33]  Stefanie Rinderle-Ma,et al.  Change Patterns and Change Support Features in Process-Aware Information Systems , 2007, Seminal Contributions to Information Systems Engineering.

[34]  Christel Baier,et al.  Principles of model checking , 2008 .

[35]  Harilaos N. Koutsopoulos,et al.  A microscopic traffic simulator for evaluation of dynamic traffic management systems , 1996 .

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

[37]  Manfred Reichert,et al.  View-Based Process Visualization , 2007, BPM.

[38]  Hajo A. Reijers,et al.  Discovering Social Networks from Event Logs , 2005, Computer Supported Cooperative Work (CSCW).

[39]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

[40]  Jan Mendling,et al.  Understanding the Occurrence of Errors in Process Models Based on Metrics , 2007, OTM Conferences.

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

[42]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[43]  Andreas Wombacher Alignment of Choreography Changes in BPEL Processes , 2009, 2009 IEEE International Conference on Services Computing.

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

[45]  Jianmin Wang,et al.  Detecting Implicit Dependencies Between Tasks from Event Logs , 2006, APWeb.

[46]  Gregor Engels,et al.  Detecting and Resolving Process Model Differences in the Absence of a Change Log , 2008, BPM.

[47]  Jaap Gordijn,et al.  Towards self-configuration and management of e-service provisioning in dynamic value constellations , 2008, SAC '08.

[48]  Stefanie Rinderle-Ma,et al.  On Design Principles for Realizing Adaptive Service Flows with BPEL , 2006, EMISA.

[49]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[50]  Michael Rosemann,et al.  Potential pitfalls of process modeling: part B , 2006, Business Process Management Journal.

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

[52]  Jan Mendling,et al.  Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness , 2008, Lecture Notes in Business Information Processing.

[53]  Terry Jones,et al.  Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms , 1995, ICGA.

[54]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

[55]  Manfred Reichert,et al.  The ADEPT project: a decade of research and development for robust and flexible process support , 2009, Computer Science - Research and Development.

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

[57]  Florian Gottschalk,et al.  Configurable process models , 2009 .

[58]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[59]  Ronald L. Rivest,et al.  Introduction to Algorithms, Second Edition , 2001 .

[60]  Olivier Coudert,et al.  Doing two-level logic minimization 100 times faster , 1995, SODA '95.

[61]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[62]  Stefanie Rinderle-Ma,et al.  Providing Integrated Life Cycle Support in Process-Aware Information Systems , 2009, Int. J. Cooperative Inf. Syst..

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

[64]  Mathias Weske,et al.  Formal foundation and conceptual design of dynamic adaptations in a workflow management system , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[65]  Marlon Dumas,et al.  Structuring acyclic process models , 2010, Inf. Syst..

[66]  A. Janvry,et al.  Quantitative development policy analysis , 1994 .

[67]  Manfred Reichert,et al.  Architectural Design of Flexible Process Management Technology , 2008, PRIMIUM.

[68]  Wil M. P. van der Aalst,et al.  Configurable Process Models: Experiences from a Municipality Case Study , 2009, CAiSE.

[69]  Michael J. Fischer,et al.  The String-to-String Correction Problem , 1974, JACM.

[70]  Stefanie Rinderle-Ma,et al.  On Deriving Net Change Information From Change Logs - The DELTALAYER-Algorithm , 2007, BTW.

[71]  Jan Mendling,et al.  Preserving correctness during business process model configuration , 2010, Formal Aspects of Computing.

[72]  Vipin Kumar,et al.  Chameleon: Hierarchical Clustering Using Dynamic Modeling , 1999, Computer.

[73]  Kuo-Chung Tai,et al.  The Tree-to-Tree Correction Problem , 1979, JACM.

[74]  Manfred Reichert,et al.  Durchgängige Modellierung von Geschäftsprozessen in einer Service-orientierten Architektur , 2010, Modellierung.

[75]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[76]  Guido Schimm Process Miner - A Tool for Mining Process Schemes from Event-Based Data , 2002, JELIA.

[77]  Stefanie Rinderle-Ma,et al.  On Representing, Purging, and Utilizing Change Logs in Process Management Systems , 2006, Business Process Management.

[78]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[79]  Wil M. P. van der Aalst,et al.  Change Mining in Adaptive Process Management Systems , 2006, OTM Conferences.

[80]  Mathias Weske,et al.  Structural and behavioural commonalities of process variants , 2010, ZEUS.

[81]  Jacob Lenting Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[82]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction, Second Edition , 2000 .

[83]  Mathias Weske,et al.  Specification, Verification and Explanation of Violation for Data Aware Compliance Rules , 2009, ICSOC/ServiceWave.

[84]  Remco M. Dijkman,et al.  Measuring Similarity between Business Process Models , 2008, CAiSE.

[85]  Stephen P. Borgatti,et al.  Identifying sets of key players in a social network , 2006, Comput. Math. Organ. Theory.

[86]  D S Callaway,et al.  Network robustness and fragility: percolation on random graphs. , 2000, Physical review letters.

[87]  Manfred Reichert,et al.  What are the Problem Makers: Ranking Activities According to their Relevance for Process Changes , 2009, 2009 IEEE International Conference on Web Services.

[88]  Sjaak Brinkkemper,et al.  An integrated approach for requirement selection and scheduling in software release planning , 2010, Requirements Engineering.

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

[90]  Stefanie Rinderle-Ma,et al.  Schema Evolution in Process Management Systems , 2004, Encyclopedia of Database Systems.

[91]  Juliane Dehnert,et al.  Relaxed Soundness of Business Processes , 2001, CAiSE.

[92]  Wil M. P. van der Aalst,et al.  Activity Mining by Global Trace Segmentation , 2009, Business Process Management Workshops.

[93]  Linda Rising,et al.  The Scrum Software Development Process for Small Teams , 2000, IEEE Softw..

[94]  Peter Dadam,et al.  On Dealing with Structural Conflicts between Process Type and Instance Changes , 2004, Business Process Management.

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

[96]  Manfred Reichert,et al.  IT support for healthcare processes - premises, challenges, perspectives , 2007, Data Knowl. Eng..

[97]  Manfred Reichert,et al.  Analyzing Impact Factors on Composite Services , 2009, 2009 IEEE International Conference on Services Computing.

[98]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[99]  Giordano Lanzola,et al.  Flexible guideline-based patient careflow systems , 2001, Artif. Intell. Medicine.

[100]  Marc Berg,et al.  Viewpoint Paper: Some Unintended Consequences of Information Technology in Health Care: The Nature of Patient Care Information System-related Errors , 2003, J. Am. Medical Informatics Assoc..

[101]  J. Köbler,et al.  The Graph Isomorphism Problem: Its Structural Complexity , 1993 .

[102]  Wil M. P. van der Aalst,et al.  Rediscovering workflow models from event-based data using little thumb , 2003, Integr. Comput. Aided Eng..

[103]  V. Jorge Leon,et al.  Strength and adaptability of problem-space based neighborhoods for resource-constrained scheduling , 1995 .

[104]  Manfred Reichert,et al.  Discovering Reference Process Models by Mining Process Variants , 2008, 2008 IEEE International Conference on Web Services.

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

[106]  Stefanie Rinderle-Ma,et al.  CCBR-Driven Business Process Evolution , 2005, ICCBR.

[107]  Manfred Reichert,et al.  Improving Exception Handling by Discovering Change Dependencies in Adaptive Process Management Systems , 2006, Business Process Management Workshops.

[108]  Wil M. P. van der Aalst,et al.  Business alignment: using process mining as a tool for Delta analysis and conformance testing , 2005, Requirements Engineering.

[109]  Peter Dadam,et al.  Mining Staff Assignment Rules from Event-Based Data , 2005, Business Process Management Workshops.

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

[111]  Liang-Jie Zhang,et al.  Development of Distance Measures for Process Mining, Discovery and Integration , 2007, Int. J. Web Serv. Res..

[112]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[113]  Stefanie Rinderle-Ma,et al.  Integrating Process Learning and Process Evolution - A Semantics Based Approach , 2005, Business Process Management.

[114]  Peter Dadam,et al.  On the Common Support of Workflow Type and Instance Changes under Correctness Constraints , 2003, OTM.

[115]  Maria Luisa Villani,et al.  An approach for QoS-aware service composition based on genetic algorithms , 2005, GECCO '05.

[116]  Diogo R. Ferreira,et al.  An Integrated Life Cycle for Workflow Management Based on Learning and Planning , 2006, Int. J. Cooperative Inf. Syst..

[117]  Jiong Yang,et al.  SPIN: mining maximal frequent subgraphs from graph databases , 2004, KDD.

[118]  Manfred Reichert,et al.  Monitoring Dependencies for SLAs: The MoDe4SLA Approach , 2008, 2008 IEEE International Conference on Services Computing.

[119]  C.M.T. Metselaar,et al.  Sociaal-organisatorische gevolgen van kennistechnologie : een procesbenadering en actorperspectief , 2000 .

[120]  Maliha S. Nash,et al.  Handbook of Parametric and Nonparametric Statistical Procedures , 2001, Technometrics.

[121]  George Karypis,et al.  Frequent subgraph discovery , 2001, Proceedings 2001 IEEE International Conference on Data Mining.

[122]  Vera Künzle,et al.  Integrating Users in Object-Aware Process Management Systems: Issues and Challenges , 2009, Business Process Management Workshops.

[123]  Manfred Reichert,et al.  Guaranteeing Soundness of Configurable Process Variants in Provop , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

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

[125]  Manfred Reichert,et al.  Why Process-Orientation is Scarce: An Empirical Study of Process-oriented Information Systems in the Automotive Industry , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[126]  Hajo A. Reijers,et al.  The Declarative Approach to Business Process Execution: An Empirical Test , 2009, CAiSE.

[127]  Angela Lin,et al.  Mission Critical: Realizing the Promise of Enterprise Systems , 2001 .

[128]  Wil M. P. van der Aalst,et al.  Dynamic, Extensible and Context-Aware Exception Handling for Workflows , 2007, OTM Conferences.

[129]  Jana Koehler,et al.  Applying Patterns during Business Process Modeling , 2008, BPM.

[130]  James E. Rumbaugh,et al.  Object-oriented modeling and design with UML, Second Edition , 2005 .

[131]  Scott Shenker,et al.  Analysis and simulation of a fair queueing algorithm , 1989, SIGCOMM '89.

[132]  Jan Recker,et al.  Using process mining to learn from process changes in evolutionary systems , 2008, Int. J. Bus. Process. Integr. Manag..

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

[134]  Daniel Gillblad,et al.  Discovering Process Models from Unlabelled Event Logs , 2009, BPM.

[135]  Frank Leymann,et al.  Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.

[136]  Michael Rosemann,et al.  Workflow-based process monitoring and controlling-technical and organizational issues , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[137]  Manfred Reichert,et al.  Activity patterns in process-aware information systems: basic concepts and empirical evidence , 2009, Int. J. Bus. Process. Integr. Manag..

[138]  Lawrence B. Holder,et al.  Substucture Discovery in the SUBDUE System , 1994, KDD Workshop.

[139]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[140]  Andreas Wombacher,et al.  Evaluation of Workflow Similarity Measures in Service Discovery , 2006, Service Oriented Electronic Commerce.

[141]  D UllmanJeffrey,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001 .

[142]  Wil M. P. van der Aalst,et al.  Context Aware Trace Clustering: Towards Improving Process Mining Results , 2009, SDM.

[143]  D. Holland,et al.  Marine Reserves for Fisheries Management , 1996, Marine Resource Economics.

[144]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[145]  Mathias Weske,et al.  The WASA2 object-oriented workflow management system , 1999, SIGMOD '99.

[146]  Stephen F. Smith,et al.  A learning system based on genetic adaptive algorithms , 1980 .

[147]  J. Ross Quinlan,et al.  C4.5: Programs for Machine Learning , 1992 .

[148]  Peter Dadam,et al.  Flexible Support of Team Processes by Adaptive Workflow Systems , 2004, Distributed and Parallel Databases.

[149]  Marcello La Rosa,et al.  Managing variability in process-aware information systems , 2009 .

[150]  Luciano Lavagno,et al.  Deriving Petri Nets for Finite Transition Systems , 1998, IEEE Trans. Computers.

[151]  Andreas Wombacher,et al.  Evolution of Process Choreographies in DYCHOR , 2006, OTM Conferences.

[152]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

[153]  Andraž Cej,et al.  Agile software development with Scrum , 2010 .

[154]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[155]  Alexander Tartakovski,et al.  Agile Workflow Technology and Case-Based Change Reuse for Long-Term Processes , 2008, Int. J. Intell. Inf. Technol..

[156]  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).

[157]  Shazia Wasim Sadiq,et al.  Using a temporal constraint network for business process execution , 2006, ADC.

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

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

[160]  Wil M. P. van der Aalst,et al.  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance , 2001, ICATPN.

[161]  Erhard Rahm,et al.  AGENTWORK: a workflow system supporting rule-based workflow adaptation , 2004, Data Knowl. Eng..

[162]  Wil M. P. van der Aalst,et al.  Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.

[163]  A. R. van Ballegooij,et al.  RAM: Array Database Management through Relational Mapping , 2009 .

[164]  J. Moody Race, School Integration, and Friendship Segregation in America1 , 2001, American Journal of Sociology.

[165]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundam. Informaticae.

[166]  Hector Garcia-Molina,et al.  Efficient Snapshot Differential Algorithms for Data Warehousing , 1996, VLDB.

[167]  Cw Christian Günther Process mining in flexible environments , 2009 .

[168]  Fabio Casati,et al.  Improving Business Process Quality through Exception Understanding, Prediction, and Prevention , 2001, VLDB.

[169]  Peter Dadam,et al.  Architectural Principles and Components of Adaptive Process Management Technology , 2009, PRIMIUM.

[170]  Wil M. P. van der Aalst,et al.  Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis , 2010, BPM.

[171]  Inderjit S. Dhillon,et al.  Co-clustering documents and words using bipartite spectral graph partitioning , 2001, KDD '01.

[172]  Wil M. P. van der Aalst,et al.  Trace Clustering in Process Mining , 2008, Business Process Management Workshops.

[173]  Alain Wegmann,et al.  Capturing design rationale with functional decomposition of roles in business processes modeling , 2005, Softw. Process. Improv. Pract..

[174]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[175]  Christos Faloutsos,et al.  Graph mining: Laws, generators, and algorithms , 2006, CSUR.

[176]  Manfred Reichert,et al.  Dynamische Ablaufänderungen in Workflow-Management-Systemen , 2000 .

[177]  Rüdiger Pryss,et al.  Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite , 2009, BPM.

[178]  Manfred Reichert,et al.  Beyond rigidity - dynamic process lifecycle support : A Survey on dynamic changes in process-aware information systems (Special Issue Paper) , 2009 .

[179]  Manfred Reichert,et al.  Enabling Process Support for Advanced Applications with the AristaFlow BPM Suite , 2010, BPM.

[180]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[181]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[182]  Peter Dadam,et al.  Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).

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

[184]  Hajo A. Reijers,et al.  The effectiveness of workflow management systems: Predictions and lessons learned , 2005, Int. J. Inf. Manag..

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

[186]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[187]  Wil M. P. van der Aalst,et al.  Questionnaire-based variability modeling for system configuration , 2009, Software & Systems Modeling.

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

[189]  Ben Light,et al.  A Critical Success Factors Model for ERP Implementation , 1999, IEEE Softw..

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

[191]  Erich J. Neuhold,et al.  Transforming BPEL into annotated deterministic finite state automata for service discovery , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[192]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.

[193]  Manfred Reichert,et al.  Investigating the effort of using business process management technology: Results from a controlled experiment , 2010, Sci. Comput. Program..

[194]  Manfred Reichert,et al.  Workflow management versus case handling: results from a controlled software experiment , 2008, SAC '08.

[195]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools (2nd Edition) , 2006 .

[196]  Remco M. Dijkman,et al.  Aligning Business Process Models , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.

[197]  H. Harrington Business process improvement : the breakthrough strategy for total quality, productivity, and competitiveness , 1991 .

[198]  Tao Jiang,et al.  Alignment of Trees - An Alternative to Tree Edit , 1994, Theor. Comput. Sci..

[199]  Manfred Reichert,et al.  Dealing with forward and backward jumps in workflow management systems , 2004, Informatik Forschung und Entwicklung.

[200]  Roel Wieringa,et al.  The methodological soundness of requirements engineering papers: a conceptual framework and two case studies , 2006, Requirements Engineering.

[201]  Bernd Steinbach,et al.  An algorithm for bi-decomposition of logic functions , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[202]  Ricardo A. Baeza-Yates,et al.  Text-Retrieval: Theory and Practice , 1992, IFIP Congress.

[203]  Wil M. P. van der Aalst,et al.  Process Equivalence: Comparing Two Process Models Based on Observed Behavior , 2006, Business Process Management.

[204]  Manfred Reichert,et al.  On Measuring Process Model Similarity Based on High-Level Change Operations , 2007, ER.

[205]  Jana Koehler,et al.  The refined process structure tree , 2008, Data Knowl. Eng..

[206]  Stefanie Rinderle-Ma,et al.  Balancing Flexibility and Security in Adaptive Process Management Systems , 2005, OTM Conferences.

[207]  Alexander L. Wolf,et al.  Automating Process Discovery through Event-Data Analysis , 1995, 1995 17th International Conference on Software Engineering.

[208]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[209]  Boudewijn F. van Dongen,et al.  Multi-phase Process Mining: Building Instance Graphs , 2004, ER.

[210]  Jan Mendling,et al.  Modularity in Process Models: Review and Effects , 2008, BPM.

[211]  Manfred Reichert,et al.  Mining Process Variants: Goals and Issues , 2008, 2008 IEEE International Conference on Services Computing.

[212]  Shazia Wasim Sadiq,et al.  On managing business processes variants , 2009, Data Knowl. Eng..

[213]  Wil M.P. van der Aalst,et al.  Patterns for process-aware information systems : an approach based on colored Petri nets , 2004 .

[214]  Andreas Geppert,et al.  Dynamic workflow schema evolution based on workflow type versioning and workflow migration , 1999, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).

[215]  Jan Verelst,et al.  When are two Workflows the Same? , 2005, CATS.

[216]  Marielba Zacarias,et al.  Approaching Process Mining with Sequence Clustering: Experiments and Findings , 2007, BPM.

[217]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[218]  John C. S. Lui,et al.  An Efficient Partitioning Algorithm for Distributed Virtual Environment Systems , 2002, IEEE Trans. Parallel Distributed Syst..