Measuring Business Process Consistency Across Different Abstraction Levels

Business process modeling can take place at three abstraction levels, namely the conceptual level for system requirements, the logical level for system specification, and the physical level for software development. The consistency between these process models is crucial in process mapping, process integration, and difference detection. Existing work either only provides a simple “yes” or “no” answer as the consistency result, or simply checks the consistency from the control flow perspective. This paper presents a systematic approach to the quantitative measurement of the consistency between business processes across different abstraction levels. We use the essential event constraints to quantify the consistency from the perspectives of control flow and data flow, where the importance of different essential event constraints can also be distinguished. Our approach is implemented in a prototype tool. We evaluate our approach using synthetic datasets, the results of which demonstrate the effectiveness and efficiency of our approach.

[1]  Michael Schrefl,et al.  Behavior Consistent Extension of Object Life Cycles , 1995, OOER.

[2]  Jochen Malte Küster,et al.  Towards Inconsistency Handling of Object-Oriented Behavioral Models , 2004, GT-VMT@ETAPS.

[3]  Jorge S. Cardoso,et al.  Business Process Control-Flow Complexity: Metric, Evaluation, and Validation , 2008, Int. J. Web Serv. Res..

[4]  Hans-Arno Jacobsen,et al.  Static and Dynamic Process Change , 2018, IEEE Transactions on Services Computing.

[5]  Bashar Nuseibeh,et al.  Leveraging Inconsistency in Software Development , 2000, Computer.

[6]  Rupak Majumdar,et al.  The Consistency of Web Conversations , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[7]  Mathias Weske,et al.  Vertical Alignment of Process Models - How Can We Get There? , 2009, BMMDS/EMMSAD.

[8]  Jianchun Xing,et al.  Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs , 2018, IEEE Access.

[9]  Mathias Weske,et al.  Efficient Analysis of BPEL 2.0 Processes Using p-Calculus , 2008, The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007).

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

[11]  Gregor Engels,et al.  Ensuring Consistency among Business Goals and Business Process Models , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference.

[12]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

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

[14]  Manfred Reichert,et al.  Bridging the Gap between Business Process Models and Service Composition Specifications , 2012 .

[15]  Guus J. Ramackers.  Integrated object modelling: an executable specification framework for business analysis and information system design , 1994 .

[16]  Marlon Dumas,et al.  Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes , 2012, WS-FM.

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

[18]  F. Javier Lerch,et al.  Beneath the surface of organizational processes: a social representation framework for business process redesign , 2000, TOIS.

[19]  Daniel Dajun Zeng,et al.  Effective Role Resolution in Workflow Management , 2005, INFORMS J. Comput..

[20]  Hong-Mei Chen,et al.  Towards Service Engineering: Service Orientation and Business-IT Alignment , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

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

[22]  Wineke A. M. van Lent,et al.  Similarity of business process models : metrics and evaluation , 2009 .

[23]  John Leslie King,et al.  A Representational Scheme for Analyzing Information Technology and Organizational Dependency , 2002, MIS Q..

[24]  José M. Tribolet,et al.  Using Business Transactions to Analyse the Consistency of Business Process Models , 2012, 2012 45th Hawaii International Conference on System Sciences.

[25]  Aravindhan Arunagiri,et al.  Data perspectives of workflow schema evolution , 2015, Bus. Process. Manag. J..

[26]  J. Leon Zhao,et al.  A framework for transformation from conceptual to logical workflow models , 2012, Decis. Support Syst..

[27]  Thomas Setzer,et al.  Autonomic Prioritization of Enterprise Transactions Based on Bid-Price Controls , 2013, IEEE Transactions on Network and Service Management.

[28]  Peng Liu,et al.  Workflow Mining of More Perspectives of Workflow , 2008, J. Softw. Eng. Appl..

[29]  Hareton K. N. Leung,et al.  Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph , 2012, J. Syst. Softw..

[30]  Philip S. Yu,et al.  Matching heterogeneous events with patterns , 2014, 2014 IEEE 30th International Conference on Data Engineering.

[31]  Wil M. P. van der Aalst,et al.  From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes , 2008, Decis. Support Syst..

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

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

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

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

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

[37]  Lei Zou,et al.  Matching Heterogeneous Event Data , 2018, IEEE Trans. Knowl. Data Eng..

[38]  Kent Irwin,et al.  Workflow technology: trade-offs for business process re-engineering , 1995, COCS '95.

[39]  Christian Prehofer.  Behavioral Refinement and Compatibility of Statechart Extensions , 2013, Electron. Notes Theor. Comput. Sci..

[40]  Maria E. Orlowska,et al.  Data Flow and Validation in Workflow Modelling , 2004, ADC.

[41]  J. Leon Zhao,et al.  A collaborative scheduling approach for service-driven scientific workflow execution , 2010, J. Comput. Syst. Sci..

[42]  R. V. Glabbeek.  The Linear Time-Branching Time Spectrum I The Semantics of Concrete , Sequential ProcessesR , 2007 .

[43]  Hareton K. N. Leung,et al.  Verifying the Concurrent Properties in BPEL Based Web Service Composition Process , 2013, IEEE Transactions on Network and Service Management.

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

[45]  Rik Eshuis,et al.  Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.

[46]  Sherif Sakr,et al.  On Maintaining Consistency of Process Model Variants , 2011, Business Process Management Workshops.

[47]  Mathias Weske,et al.  Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation , 2011, Fundam. Informaticae.

[48]  Gordon D. Plotkin,et al.  Configuration structures, event structures and Petri nets , 2009, Theor. Comput. Sci..

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

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

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

[52]  Xuewei Zhang,et al.  Quantifying Consistency between Conceptual and Executable Business Processes , 2013, 2013 IEEE International Conference on Services Computing.

[53]  Jidong Ge,et al.  BPEL Similarity - A Metric Based on Activity Constraint Graphs , 2013, AP-BPM.

[54]  Michael Schrefl,et al.  Behavior Consistent Refinement of Object Life Cycles , 1997, ER.

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

[56]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[57]  Wil M. P. van der Aalst,et al.  Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System , 2005, OTM Conferences.

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

[59]  Naixue Xiong,et al.  A Pretreatment Workflow Scheduling Approach for Big Data Applications in Multicloud Environments , 2016, IEEE Transactions on Network and Service Management.

[60]  Rance Cleaveland,et al.  On Automatically Explaining Bisimulation Inequivalence , 1990, CAV.

[61]  Remco M. Dijkman,et al.  Deciding Behaviour Compatibility of Complex Correspondences between Process Models , 2010, BPM.