Workflow difference detection based on basis paths

Abstract Detecting workflow difference is meaningful for many applications, e.g., in-vehicle system testing. However, current workflow difference detection methods stress on structural differences while ignoring the behavioral aspects of the workflow models. Due to the large number of possible behaviors for a workflow model, it is challenging to detect the behavioral difference. To address this problem, this paper introduces the idea of basis path testing from the software testing field, and presents an efficient method for detecting the workflow difference in terms of their behaviors. First, we compute the cyclomatic complexity according to the number of nodes and arcs in the workflow model. Then, based on the cyclomatic complexity we design an algorithm that can retrieve the basis paths from a tree structure converted from the workflow model. At last, the Kuhn–Munkres (KM) algorithm is used to map the independent paths from two workflow models and generate the optimal mapping that the overall distance is the minimum. The experimental evaluation shows that our proposed method has been proved feasible in terms of both efficiency and effectiveness.

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

[2]  Jing Fan,et al.  Querying Similar Process Models Based on the Hungarian Algorithm , 2017, IEEE Transactions on Services Computing.

[3]  Jian Cao,et al.  Mining change operations for workflow platform as a service , 2014, World Wide Web.

[4]  Jianmin Wang,et al.  Efficient Syntactic Process Difference Detection Using Flexible Feature Matching , 2014, AP-BPM.

[5]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[6]  Christian Dziobek,et al.  Variability management in the AUTOSAR-based development of applications for in-vehicle systems , 2011, VaMoS.

[7]  Allan Clark,et al.  Semantic-Based Development of Service-Oriented Systems , 2006, FORTE.

[8]  Tao Jin,et al.  Efficient Retrieval of Similar Workflow Models Based on Behavior , 2012, APWeb.

[9]  Marlon Dumas,et al.  Complete and Interpretable Conformance Checking of Business Processes , 2018, IEEE Transactions on Software Engineering.

[10]  Marlon Dumas,et al.  Diagnosing behavioral differences between business process models: An approach based on event structures , 2016, Inf. Syst..

[11]  Wil M. P. van der Aalst,et al.  On the Suitability of BPMN for Business Process Modelling , 2006, Business Process Management.

[12]  Jianmin Wang,et al.  Mining process models with non-free-choice constructs , 2007, Data Mining and Knowledge Discovery.

[13]  H. Kuhn.  The Hungarian method for the assignment problem , 1955 .

[14]  Jing Fan,et al.  Detecting Difference between Process Models Based on the Refined Process Structure Tree , 2017, Mob. Inf. Syst..

[15]  David J. DeWitt,et al.  X-Diff: an effective change detection algorithm for XML documents , 2003, Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405).

[16]  David J. Lilja,et al.  Complexity and performance in parallel programming languages , 1997, Proceedings Second International Workshop on High-Level Parallel Programming Models and Supportive Environments.

[17]  Ralf Laue,et al.  Similarity of Business Process Models—A State-of-the-Art Analysis , 2017, ACM Comput. Surv..

[18]  Serge Abiteboul,et al.  Detecting changes in XML documents , 2002, Proceedings 18th International Conference on Data Engineering.

[19]  Horst Bunke,et al.  On a relation between graph edit distance and maximum common subgraph , 1997, Pattern Recognit. Lett..

[20]  Jussi Vanhatalo,et al.  Simplified Computation and Generalization of the Refined Process Structure Tree , 2010, WS-FM.

[21]  Olga Baysal,et al.  diffX: an algorithm to detect changes in multi-version XML documents , 2005, CASCON.

[22]  Jianmin Wang,et al.  Efficient Behavioral-Difference Detection between Business Process Models , 2014, OTM Conferences.

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

[24]  Mirko Conrad,et al.  Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications , 2009 .

[25]  Paul C. Jorgensen,et al.  Software Testing: A Craftsman's Approach , 1995 .

[26]  Remco M. Dijkman,et al.  Merging Business Process Models , 2010, OTM Conferences.

[27]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

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