Quantifying Consistency between Conceptual and Executable Business Processes

Business processes have been identified as effective means to developing service-based applications. It is an important and challenging research problem to check consistency between conceptual and executable business processes. Most existing approaches analyze the consistency based on qualitative equivalence relations between business processes and only provide a "true"/"false" result. Thus, they fail to differentiate slight inconsistency scenarios from totally inconsistency ones. To address this problem, we leverage activity constraints, i.e., partial orders, mutual-exclusions, and independences, to analyze consistency, and measure the consistency degree (ranging from 0 to 1.0) between a conceptual business process and an executable one based on the rate of consistent activity constraints. We show the applicability of our approach by analyzing the consistency between public views and private processes of some real-life BPEL processes.

[1]  Mathias Weske,et al.  Process compliance analysis based on behavioural profiles , 2011, Inf. Syst..

[2]  Jianchun Xing,et al.  Behavioral Consistency Measurement and Analysis of WS-BPEL Processes , 2013, WAIM.

[3]  Wil M. P. van der Aalst,et al.  Configurable Reference Modeling Languages , 2006 .

[4]  Frank Leymann,et al.  WS-BPEL Extension for People ? BPEL4People , 2005 .

[5]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[6]  Wil M. P. van der Aalst,et al.  From Public Views to Private Views - Correctness-by-Design for Services , 2007, WS-FM.

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

[8]  Niels Lohmann,et al.  Extending the compatibility notion for abstract WS-BPEL processes , 2008, WWW.

[9]  Stephen A. White,et al.  Business Process Modeling Notation (BPMN), Version 1.0 , 2004 .

[10]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

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

[12]  Ramtin Khosravi,et al.  Modeling Variability in Business Process Models Using UML , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

[13]  Standard Glossary of Software Engineering Terminology , 1990 .

[14]  Niels Lohmann,et al.  Another Approach to Service Instance Migration , 2009, ICSOC/ServiceWave.

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

[16]  Mathias Weske,et al.  Behavioral Similarity - A Proper Metric , 2011, BPM.

[17]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[18]  Wil M. P. van der Aalst,et al.  Quantifying process equivalence based on observed behavior , 2008, Data Knowl. Eng..

[19]  Mathias Weske,et al.  Efficient Consistency Measurement Based on Behavioral Profiles of Process Models , 2011, IEEE Transactions on Software Engineering.

[20]  Jian Lu,et al.  Preserving Data Flow Correctness in Process Adaptation , 2010, 2010 IEEE International Conference on Services Computing.

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

[22]  Axel Martens,et al.  Consistency between executable and abstract processes , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[23]  Krzysztof Czarnecki,et al.  A case study on consistency management of business and IT process models in banking , 2014, Software & Systems Modeling.

[24]  Shing-Chi Cheung,et al.  Refactoring and Publishing WS-BPEL Processes to Obtain More Partners , 2011, 2011 IEEE International Conference on Web Services.

[25]  Wolfram Amme,et al.  Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis , 2007, IEEE International Conference on Services Computing (SCC 2007).