Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms

In various cases we need to transform a process model into a matrix representation for further analysis. In this paper, we introduce the notion of Order Matrix, which enables unique representation of block-structured process models. We present algorithms for transforming a block-structured process model into a corresponding order matrix and vice verse. We then prove that such order matrix constitutes a unique representation of a block-structured process model; i.e., if we transform a process model into an order matrix, and then transform this matrix back into a process model, the two process models are trace equivalent; i.e., they show same behavior. Finally, we analyze algebraic properties of order matrices.

[1]  Wil M.P. van der Aalst,et al.  Genetic Process Mining , 2005, ICATPN.

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

[3]  Jan Mendling,et al.  What Makes Process Models Understandable? , 2007, BPM.

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

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

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

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

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

[9]  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..

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

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

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

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

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

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

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

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

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

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

[20]  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.

[21]  Manfred Reichert,et al.  Beyond rigidity – dynamic process lifecycle support , 2009, Computer Science - Research and Development.

[22]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

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

[24]  Robert L. Mercer,et al.  Class-Based n-gram Models of Natural Language , 1992, CL.

[25]  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.

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

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

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

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

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

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

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

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