This Article 
 Bibliographic References 
 Add to: 
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
May/June 2011 (vol. 37 no. 3)
pp. 410-429
Matthias Weidlich, Hasso Plattner Institute, Potsdam
Jan Mendling, Humboldt-Universität zu Berlin, Berlin
Mathias Weske, Hasso Plattner Institute, Berlin
Engineering of process-driven business applications can be supported by process modeling efforts in order to bridge the gap between business requirements and system specifications. However, diverging purposes of business process modeling initiatives have led to significant problems in aligning related models at different abstract levels and different perspectives. Checking the consistency of such corresponding models is a major challenge for process modeling theory and practice. In this paper, we take the inappropriateness of existing strict notions of behavioral equivalence as a starting point. Our contribution is a concept called behavioral profile that captures the essential behavioral constraints of a process model. We show that these profiles can be computed efficiently, i.e., in cubic time for sound free-choice Petri nets w.r.t. their number of places and transitions. We use behavioral profiles for the definition of a formal notion of consistency which is less sensitive to model projections than common criteria of behavioral equivalence and allows for quantifying deviation in a metric way. The derivation of behavioral profiles and the calculation of a degree of consistency have been implemented to demonstrate the applicability of our approach. We also report the findings from checking consistency between partially overlapping models of the SAP reference model.

[1] E. Yourdon, Modern Structured Analysis. Yourdon Press, 1989.
[2] J. Luftman, R. Papp, and T. Brier, "Enablers and Inhibitors of Business-IT Alignment," Comm. AIS, vol. 1, no. 3, 1999.
[3] E. Kindler, "Model-Based Software Engineering and Process-Aware Information Systems," Trans. Petri Nets and Other Models of Concurrency, vol. 2, pp. 27-45, Springer-Verlag, 2009.
[4] M. Henkel, J. Zdravkovic, and P. Johannesson, "Service-Based Processes: Design for Business and Technology," Proc. Second Int'l Conf. Service Oriented Computing, M. Aiello, M. Aoyama, F. Curbera, and M.P. Papazoglou, eds., pp. 21-29, 2004.
[5] B. Andersson, M. Bergholtz, A. Edirisuriya, T. Ilayperuma, and P. Johannesson, "A Declarative Foundation of Process Models," Proc. 17th Int'l Conf. Advanced Information Systems Eng., O. Pastor and J.F. e Cunha, eds., pp. 233-247, 2005.
[6] J. Koehler, R. Hauser, J.M. Küster, K. Ryndina, J. Vanhatalo, and M. Wahler, "The Role of Visual Modeling and Model Transformations in Business-Driven Development," Electronic Notes in Theoretical Computer Science, vol. 211, pp. 5-15, 2008.
[7] OMG, Business Process Modeling Notation (BPMN) 1.2, Jan. 2009.
[8] A. Alves et al., "Web Services Business Process Execution Language Version 2.0," technical report, OASIS, Jan. 2007.
[9] V. Grover, K. Fiedler, and J. Teng, "Exploring the Success of Information Technology Enabled Business Process Reengineering," IEEE Trans. Eng. Management, vol. 41, no. 3, pp. 276-284, Aug. 1994.
[10] C. Rolland and N. Prakash, "Bridging the Gap between Organisational Needs and ERP Functionality," Requirements Eng., vol. 5, no. 3, pp. 180-193, Oct. 2000.
[11] T. Kühne, "Matters of (Meta-)Modeling," Software and System Modeling, vol. 5, no. 4, pp. 369-385, 2006.
[12] IEEE, "Standard Glossary of Software Engineering Terminology," 1990.
[13] G. Rull, C. Farré, E. Teniente, and T. Urpí, "Validation of Mappings between Schemas," Data and Knowledge Eng., vol. 66, no. 3, pp. 414-437, 2008.
[14] R. van Glabbeek, "The Linear Time-Branching Time Spectrum I. The Semantics of Concrete, Sequential Processes," Handbook of Process Algebra, pp. 3-99, Elsevier, 2001.
[15] R.J. van Glabbeek and U. Goltz, "Refinement of Actions and Equivalence Notions for Concurrent Systems," Acta Informatica, vol. 37, nos. 4/5, pp. 229-327, 2001.
[16] M. Weidlich, M. Weske, and J. Mendling, "Change Propagation in Process Models Using Behavioural Profiles," Proc. IEEE Int'l Conf. Services Computing, 2009.
[17] G.J. Ramackers, "Integrated Object Modelling," PhD dissertation, Leiden Univ., 1994.
[18] F. Gottschalk, W.M.P. van der Aalst, M.H. Jansen-Vullers, and M.L. Rosa, "Configurable Workflow Models," Int'l J. Cooperative Information Systems, vol. 17, no. 2, pp. 177-221, 2008.
[19] M. Weidlich, A. Barros, J. Mendling, and M. Weske, "Vertical Alignment of Process Models—How Can We Get There?" Proc. Int'l Conf. Advanced Information Systems Eng. Workshop, 10th Workshop Business Process Modeling, Development, and Support, S. Nurcan, R. Schmidt, P. Soffer, and R. Ukor, eds., pp. 71-84, 2009.
[20] W.M.P. van der Aalst, "The Application of Petri Nets to Workflow Management," J. Circuits, Systems, and Computers, vol. 8, no. 1, pp. 21-66, 1998.
[21] N. Lohmann, "A Feature-Complete Petri Net Semantics for WS-BPEL 2.0," Proc. Fourth Int'l Workshop Web Services and Formal Methods, M. Dumas and R. Heckel, eds., pp. 77-91, Sept. 2007.
[22] R. Dijkman, M. Dumas, and C. Ouyang, "Semantics and Analysis of Business Process Models in BPMN," Information and Software Technology, vol. 50, no. 12, pp. 1281-1294, 2009.
[23] J. Mendling, Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. Springer, 2008.
[24] A. ter Hofstede and W. van der Aalst, "Yawl: Yet Another Workflow Language," Information Systems, vol. 30, no. 4, pp. 245-275, 2005.
[25] C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno, "Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets," Proc. SDL Forum, A. Prinz, R. Reed, and J. Reed, eds., pp. 133-148, 2005.
[26] R. Eshuis and R. Wieringa, "Tool Support for Verifying UML Activity Diagrams," IEEE Trans. Software Eng., vol. 30, no. 7, pp. 437-447, July 2004.
[27] N. Lohmann, E. Verbeek, and R.M. Dijkman, "Petri Net Transformations for Business Processes—A Survey," Trans. Petri Nets and Other Models of Concurrency, vol. 2, pp. 46-63, Springer-Verlag, 2009.
[28] W.M.P. van der Aalst, T. Weijters, and L. Maruster, "Workflow Mining: Discovering Process Models from Event Logs," IEEE Trans. Knowledge and Data Eng., vol. 16, no. 9, pp. 1128-1142, Sept. 2004.
[29] R. Lipton, "The Reachability Problem Requires Exponential Space," technical report, Dept. of Computer Science, Yale Univ., 1975.
[30] A. Valmari, "The State Explosion Problem," Proc. Lectures on Petri Nets I, W. Reisig and G. Rozenberg, eds., pp. 429-528, 1996.
[31] J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge Univ. Press, 1995.
[32] W.M.P. van der Aalst, "Verification of Workflow Nets," Proc. 18th Int'l Conf. Application and Theory of Petri Nets, P. Azéma and G. Balbo, eds., pp. 407-426, 1997.
[33] B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst, "Fundamentals of Control Flow in Workflows," Acta Informatica, vol. 39, no. 3, pp. 143-209, 2003.
[34] A. Kovalyov and J. Esparza, "A Polynomial Algorithm to Compute the Concurrency Relation of Free-Choice Signal Transition Graphs," Prof. Int'l Workshop Discrete Event Systems, pp. 1-6, 1996.
[35] S. Warshall, "A Theorem on Boolean Matrices," J. ACM, vol. 9, no. 1, pp. 11-12, 1962.
[36] J. Euzenat and P. Shvaiko, Ontology Matching. Springer-Verlag, 2007.
[37] M. Dumas, L. García-Bañuelos, and R.M. Dijkman, "Similarity Search of Business Process Models," IEEE Data Eng. Bull., vol. 32, no. 3, pp. 23-28, Sept. 2009.
[38] T.A. Curran, G. Keller, and A. Ladd, SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice-Hall, 1997.
[39] V. Pankratius and W. Stucky, "A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization Based on Petri Nets," Proc. Second Asia-Pacific Conf. Conceptual Modelling, S. Hartmann and M. Stumptner, eds., pp. 79-88, Jan./Feb. 2005.
[40] J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann, "Detection and Prediction of Errors in EPCs of the SAP Reference Model," Data and Knowledge Eng., vol. 64, no. 1, pp. 312-329, 2008.
[41] B. van Dongen, M. Jansen-Vullers, H. Verbeek, and W. van der Aalst, "Verification of the SAP Reference Models Using EPC Reduction, State Space Analysis, and Invariants," Computers in Industry, vol. 58, no. 6, pp. 578-601, 2007.
[42] G. Decker and J. Mendling, "Process Instantiation," Data and Knowledge Eng., vol. 68, pp. 777-792, 2009.
[43] T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[44] E. Rahm and P.A. Bernstein, "A Survey of Approaches to Automatic Schema Matching," VLDB J., vol. 10, no. 4, pp. 334-350, 2001.
[45] A. Doan and A.Y. Halevy, "Semantic Integration Research in the Database Community: A Brief Survey," AI Magazine, vol. 26, no. 1, pp. 83-94, 2005.
[46] S. Nejati, M. Sabetzadeh, M. Chechik, S.M. Easterbrook, and P. Zave, "Matching and Merging of Statecharts Specifications," Proc. 29th Int'l Conf. Software Eng., pp. 54-64, 2007.
[47] R. Dijkman, M. Dumas, L. García-Bauelos, and R. Käärik, "Aligning Business Process Models," Proc. 13th Int'l IEEE Enterprise Distributed Object Computing Conf., 2009.
[48] M. Weidlich, R. Dijkman, and J. Mendling, "The ICoP Framework: Identification of Correspondences between Process Models," Proc. 22nd Int'l Conf. Advanced Information Systems Eng., 2010.
[49] M. Ehrig, A. Koschmider, and A. Oberweis, "Measuring Similarity between Semantic Business Process Models," Proc. Fourth Asia-Pacific Conf. Conceptual Modelling, J. Roddick and A. Hinze, eds., vol. 67, pp. 71-80, 2007.
[50] B.F. van Dongen, R.M. Dijkman, and J. Mendling, "Measuring Similarity between Business Process Models," Proc. 20th Int'l Conf. Advanced Information Systems Eng., Z. Bellahsene and M. Léonard, eds., pp. 450-464, 2008.
[51] J. Hidders, M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede, and J. Verelst, "When Are Two Workflows the Same?" Proc. Australasian Symp. Theory of Computing, M.D. Atkinson and F.K.H.A. Dehne, eds., vol. 41, pp. 3-11, 2005.
[52] D. Harel and O. Kupferman, "On Object Systems and Behavioral Inheritance," IEEE Trans. Software Eng., vol. 28, no. 9, pp. 889-903, Sept. 2002.
[53] T. Basten and W.M.P. van der Aalst, "Inheritance of Behavior," J. Logic and Algebraic Programming, vol. 47, no. 2, pp. 47-145, 2001.
[54] J. Ebert and G. Engels, "Observable or Invocable Behaviour—You Have to Choose," Technical Report 94-38, Dept. of Computer Science, Leiden Univ., Dec. 1994.
[55] M. Schrefl and M. Stumptner, "Behavior-Consistent Specialization of Object Life Cycles," ACM Trans. Software Eng. and Methodology, vol. 11, no. 1, pp. 92-148, 2002.
[56] A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters, "Quantifying Process Equivalence Based on Observed Behavior," Data and Knowledge Eng., vol. 64, no. 1, pp. 55-74, 2008.
[57] A. Wombacher, "Evaluation of Technical Measures for Workflow Similarity Based on a Pilot Study," Proc. OTM Confederated Int'l Conf. On the Move to Meaningful Internet Systems (1), R. Meersman and Z. Tari, eds., pp. 255-272, 2006.
[58] A. Wombacher and M. Rozie, "Evaluation of Workflow Similarity Measures in Service Discovery," Proc. Service Oriented Electronic Commerce, M. Schoop, C. Huemer, M. Rebstock, and M. Bichler, Eds., vol. 80, pp. 51-71, 2006.
[59] C. Li, M. Reichert, and A. Wombacher, "On Measuring Process Model Similarity Based on High-Level Change Operations," Proc. 27th Int'l Conf. Conceptual Modeling, Q. Li, S. Spaccapietra, E.S.K. Yu, and A. Olivé, eds., pp. 248-264, 2008.
[60] T. Madhusudan, J.L. Zhao, and B. Marshall, "A Case-Based Reasoning Framework for Workflow Model Management," Data and Knowledge Eng., vol. 50, no. 1, pp. 87-115, 2004.
[61] J.M. Küster, C. Gerth, A. Förster, and G. Engels, "Detecting and Resolving Process Model Differences in the Absence of a Change Log," Proc. Sixth Int'l Conf. Business Process Management, M. Dumas, M. Reichert, and M.-C. Shan, eds., pp. 244-260, 2008.
[62] R.M. Dijkman, "Diagnosing Differences between Business Process Models," Proc. Sixth Int'l Conf. Business Process Management, M. Dumas, M. Reichert, and M.-C. Shan, eds., pp. 261-277, 2008.
[63] G. Preuner, S. Conrad, and M. Schrefl, "View Integration of Behavior in Object-Oriented Databases," Data and Knowledge Eng., vol. 36, no. 2, pp. 153-183, 2001.
[64] G. Grossmann, Y. Ren, M. Schrefl, and M. Stumptner, "Behavior Based Integration of Composite Business Processes," Proc. Third Int'l Conf. Business Process Management, W. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, eds., pp. 186-204, 2005.
[65] J. Mendling and C. Simon, "Business Process Design by View Integration," Proc. Int'l Business Process Management Workshops, J. Eder and S. Dustdar, eds., pp. 55-64, 2006.
[66] M. Klein and A. Bernstein, "Toward High-Precision Service Retrieval," IEEE Internet Computing, vol. 8, no. 1, pp. 30-36, Jan./Feb. 2004.
[67] M. Momotko and K. Subieta, "Process Query Language: A Way to Make Workflow Processes More Flexible," Proc. East European Conf. Advances in Databases and Information Systems, G. Gottlob, A. Benczúr, and J. Demetrovics, eds., pp. 306-321, 2004.
[68] A. Awad, G. Decker, and M. Weske, "Efficient Compliance Checking Using BPMN-Q and Temporal Logic," Proc. Sixth Int'l Conf. Business Process Management, M. Dumas, M. Reichert, and M.-C. Shan, eds., pp. 326-341, 2008.
[69] K. Pohl, G. Böckle, and F. van der Linden, Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, 2005.
[70] D.S. Batory, C. Johnson, B. MacDonald, and D. von Heeder, "Achieving Extensibility through Product-Lines and Domain-Specific Languages: A Case Study," Proc. Sixth Int'l Conf. Software Reuse: Advances in Software Reusability, W.B. Frakes, ed., pp. 117-136, 2000.
[71] M.L. Griss, "Implementing Product-Line Features with Component Reuse," Proc. Sixth Int'l Conf. Software Reuse: Advances in Software Reusability, W.B. Frakes, ed., pp. 137-152, 2000.
[72] J. Becker, P. Delfmann, and R. Knackstedt, Adaptive Reference Modeling: Integrating Configurative and Generic Adaptation Techniques for Information Models. pp. 23-49. Physica, 2007.
[73] M. Rosemann and W. Aalst, "A Configurable Reference Modelling Language," Information Systems, vol. 32, pp. 1-23, 2007.
[74] H.A. Reijers, R.S. Mans, and R.A. van der Toorn, "Improved Model Management with Aggregated Business Process Models," Data and Knowledge Eng., vol. 68, no. 2, pp. 221-243, 2009.
[75] M. Razavian and R. Khosravi, "Modeling Variability in Business Process Models Using UML," Proc. Fifth Int'l Conf. Information Technology, pp. 82-87, 2008.
[76] A. Schnieders and F. Puhlmann, "Variability Mechanisms in E-Business Process Families," Proc. Ninth Int'l Conf. Business Information Systems, W. Abramowicz and H.C. Mayr, eds., pp. 583-601, 2006.
[77] W. van der Aalst, M. Dumas, F. Gottschalk, A. ter Hofstede, M.L. Rosa, and J. Mendling, "Correctness-Preserving Configuration of Business Process Models," Proc. Fundamental Approaches to Software Eng., J.L. Fiadeiro and P. Inverardi, eds., 2008.
[78] D.S. Batory, J.N. Sarvela, and A. Rauschmayer, "Scaling Step-Wise Refinement," IEEE Trans. Software Eng., vol. 30, no. 6, pp. 355-371, June 2004.
[79] J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, "Deriving Petri Nets from Finite Transition Systems," IEEE Trans. Computers, vol. 47, no. 8, pp. 859-882, Aug. 1998.
[80] J. Esparza and K. Heljanko, Unfoldings: A Partial-Order Approach to Model Checking. Springer, 2008.
[81] J. Vanhatalo, H. Völzer, and J. Koehler, "The Refined Process Structure Tree," Data and Knowledge Eng., vol. 68, pp. 793-818, 2009.
[82] L. de Alfaro, M. Faella, and M. Stoelinga, "Linear and Branching System Metrics," IEEE Trans. Software Eng., vol. 35, no. 2, pp. 258-273, Mar./Apr. 2009.

Index Terms:
Process model analysis, process model alignment, behavioral abstraction, consistency checking, consistency measures.
Matthias Weidlich, Jan Mendling, Mathias Weske, "Efficient Consistency Measurement Based on Behavioral Profiles of Process Models," IEEE Transactions on Software Engineering, vol. 37, no. 3, pp. 410-429, May-June 2011, doi:10.1109/TSE.2010.96
Usage of this product signifies your acceptance of the Terms of Use.