Perceived consistency between process models

Information Systems

Volumn 37, Issue 2, 2012, Pages 80-98

  Weidlich, Matthias ^a   Mendling, Jan ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Behavior equivalence; Consistency perception; Model refinement; Process model consistency

Indexed keywords

BEHAVIOR EQUIVALENCE; BUSINESS PROCESS MODELLING; COMMON PROCESS; CONSISTENCY PERCEPTION; CONTROL FLOWS; EXPERT STATEMENTS; LEVELS OF ABSTRACTION; MODEL REFINEMENT; MULTIPLE PROCESS; ONLINE EXPERIMENT; PROCESS MODEL; PROCESS-AWARE INFORMATION SYSTEMS; TRACE EQUIVALENCE;

MANAGEMENT SCIENCE;

TRACE ANALYSIS;

EID: 80055043623     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2010.12.004     Document Type: Article

References (93)

1. M. Dumas, W.M. van der Aalst, and A.H. ter Hofstede Process-Aware Information Systems: Bridging People and Software through Process Technology 2005 John Wiley & Sons, Inc. New York, NY, USA
2. M. Weske Business Process: Management, Concepts, Languages, Architectures 2007 Springer-Verlag Berlin, Heidelberg, Germany
3. M. Henkel, J. Zdravkovic, P. Johannesson, Service-based processes: design for business and technology, in: M. Aiello, M. Aoyama, F. Curbera, M.P. Papazoglou (Eds.), ICSOC, ACM, 2004, pp. 2129. (Pubitemid 40821132)
4. R.M. Dijkman, A classification of differences between similar business processes, in: EDOC, IEEE Computer Society, 2007, pp. 3750.
5. M. Weidlich, A. Barros, J. Mendling, M. Weske, Vertical alignment of process models - how can we get there? in: S. Nurcan, R. Schmidt, P. Soffer, R. Ukor (Eds.), CAiSE 2009 Workshop Proceedings - 10th Workshop on Business Process Modeling, Development, and Support (BPMDS), no. 29 in LNBIP, Springer, 2009, pp. 7184.
6. S. Zelewski, Petrinetzbasierte Modellierung komplexer Produktionssysteme - Eine Untersuchung des Beitrags von Petrinetzen zur Proze szligkoordinierung in komplexen Produktionssystemen, insbesondere Flexiblen Fertigungssystemen, Band 9: Beurteilung des Petrinetz-Konzepts, Technical Report, University of Leipzig, 1995 (in German).
7. V. Basili, L. Briand, and W. Melo A validation of object-oriented design metrics as quality indicators IEEE Trans. Software Eng. 22 10 1996 751 761 (Pubitemid 126771690)
8. J. Evermann Theories of meaning in schema matching: an exploratory study Inf. Syst. 34 1 2009 28 44
9. J. Mendling, H.A. Reijers, and J. Recker Activity labeling in process modeling: empirical insights and recommendations Inf. Syst. 35 4 2010 467 482
10. R. van Glabbeek, The linear time - branching time spectrum I. The semantics of concrete, sequential processes, in: Handbook of Process Algebra, Elsevier, 2001, pp. 399.
11. Matthias Weidlich, Jan Mendling, Mathias Weske, Efficient consistency measurement based on behavioural profiles of process models, IEEE Transactions on Software Engineering, 18 Oct. 2010. IEEE computer Society Digital Library. IEEE Computer Society, < http://doi.ieeecomputersociety.org/10.1109/TSE.2010. 96 >
12. J.B. Hill, M. Cantara, M. Kerremans, D.C. Plummer, Magic quadrant for business process management suites, Gartner Research G00164485.
13. B. Mutschler, M. Reichert, and J. Bumiller Unleashing the effectiveness of process-oriented information systems: problem analysis, critical success factors, and implications IEEE Trans. Syst. Man Cybern, Part C 38 3 2008 280 291 (Pubitemid 351663115)
14. M. Weidlich, M. Weske, J. Mendling, Change propagation in process models using behavioural profiles, in: IEEE SCC, IEEE Computer Society, 2009, pp. 3340.
15. J. Recker, J. Mendling, On the translation between BPMN and BPEL: conceptual mismatch between process modeling languages, in: T. Latour, M. Petit (Eds.), CAiSE 2006 Workshop Proceedings - Eleventh International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2006), 2006, pp. 521532.
16. M. Weidlich, G. Decker, A. Großkopf, M. Weske, BPEL to BPMN: the myth of a straight-forward mapping, in: R. Meersman, Z. Tari (Eds.), On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 914, 2008, Proceedings, Part I, Lecture Notes in Computer Science, vol. 5331, Springer, 2008, pp. 265282.
17. M. Schrefl, and M. Stumptner Behavior consistent extension of object life cycles M.P. Papazoglou, OOER, Lecture Notes in Computer Science vol. 1021 1995 Springer 133 145 (Pubitemid 126012744)
18. M. Schrefl, and M. Stumptner Behavior consistent refinement of object life cycles D.W. Embley, R.C. Goldstein, ER, Lecture Notes in Computer Science vol. 1331 1997 Springer 155 168 (Pubitemid 127147315)
19. M. Schrefl, and M. Stumptner Behavior-consistent specialization of object life cycles ACM Trans. Software Eng. Methodol. 11 1 2002 92 148
20. D.-R. Liu, and M. Shen Workflow modeling for virtual processes: an order-preserving process-view approach Inf. Syst. 28 6 2003 505 532
21. R. Eshuis, and P.W.P.J. Grefen Constructing customized process views Data Knowl. Eng. 64 2 2008 419 438 (Pubitemid 350297496)
22. X. Zhao, C. Liu, W. Sadiq, M. Kowalkiewicz, Process view derivation and composition in a dynamic collaboration environment, in: R. Meersman, Z. Tari (Eds.), On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 914, 2008, Proceedings, Part I, Lecture Notes in Computer Science, vol. 5331, Springer, 2008, pp. 8299.
23. R. Bobrik, M. Reichert, T. Bauer, View-based process visualization, in: G. Alonso, P. Dadam, M. Rosemann (Eds.), Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, 2428 September 2007, Proceedings, Lecture Notes in Computer Science, vol. 4714, Springer, 2007, pp. 8895.
24. B. Andersson, M. Bergholtz, A. Edirisuriya, T. Ilayperuma, and P. Johannesson A declarative foundation of process models O. Pastor, J.F. e Cunha, CAiSE, Lecture Notes in Computer Science vol. 3520 2005 Springer 233 247 (Pubitemid 41336106)
25. 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 Electron. Notes Theor. Comput. Sci. 211 2008 5 15 (Pubitemid 351608971)
26. V. Grover, K. Fiedler, and J. Teng Exploring the success of information technology enabled business process reengineering IEEE Trans. Eng. Manage. 41 3 1994 276 284
27. C. Rolland, and N. Prakash Bridging the gap between organisational needs and ERP functionality Requir. Eng. 5 3 2000 180 193
28. G. Preuner, S. Conrad, and M. Schrefl View integration of behavior in object-oriented databases Data Knowl. Eng. 36 2 2001 153 183 (Pubitemid 32029462)
29. V. Pankratius, W. Stucky, A formal foundation for workflow composition, workflow view definition, and workflow normalization based on Petri nets, in: S. Hartmann, M. Stumptner (Eds.), Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005, vol. 43, CRPIT, Australian Computer Society, 2005, pp. 7988.
30. J. Mendling, C. Simon, Business process design by view integration, in: J. Eder, S. Dustdar (Eds.), Proceedings of BPM Workshops 2006, Lecture Notes in Computer Science, vol. 4103, Springer-Verlag, Vienna, Austria, 2006, pp. 5564. (Pubitemid 44543236)
31. J.A. Garda, J.A. Casal, R.G. Vázquez, J. Pazos, S.R. Yánez, and A. Silva A methodological framework for viewpoint-oriented conceptual modeling IEEE Trans. Software Eng. 30 5 2004 282 294
32. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M. Steen Viewpoint consistency in ODP Comput. Networks 34 3 2000 503 537
33. H. Bowman, M. Steen, E.A. Boiten, and J. Derrick A formal framework for viewpoint consistency Formal Methods Syst. Des. 21 2 2002 111 166 (Pubitemid 34867400)
34. B. Nuseibeh, J. Kramer, and A. Finkelstein A framework for expressing the relationships between multiple views in requirements specification IEEE Trans. Software Eng. 20 10 1994 760 773
35. A. Finkelstein, D.M. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh Inconsistency handling in multperspective specifications IEEE Trans. Software Eng. 20 8 1994 569 578
36. R.M. Dijkman, D.A.C. Quartel, and M. van Sinderen Consistency in multi-viewpoint design of enterprise information systems Inf. Software Technol. 50 78 2008 737 752 (Pubitemid 351602007)
37. S. Nejati, M. Sabetzadeh, M. Chechik, S.M. Easterbrook, P. Zave, Matching and merging of statecharts specifications, in: ICSE, IEEE Computer Society, 2007, pp. 5464.
38. R. Dijkman, M. Dumas, L. García-Bauelos, R. Käärik, Aligning business process models, in: 13th International IEEE Enterprise Distributed Object Computing Conference (ECOC), 2009, pp. 4553.
39. E. Rahm, and P.A. Bernstein A survey of approaches to automatic schema matching VLDB J. 10 4 2001 334 350 (Pubitemid 33570972)
40. J. Euzenat, and P. Shvaiko Ontology Matching 2007 Springer-Verlag
41. R. Dhamankar, Y. Lee, A. Doana, A. Halevy, P. Domingos, imap: discovering complex semantic matches between database schemas, in: Proceedings of the International Conference on Management of Data (SIGMOD), 2004, pp. 383394.
42. L. Xu, D.W. Embley, Discovering direct and indirect matches for schema elements, in: DASFAA, IEEE Computer Society, 2003, pp. 3946.
43. M. Weidlich, R. Dijkman, and J. Mendling The ICoP framework: identification of correspondences between process models Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10) of Lecture Notes in Computer Science vol. 6051 2010 Springer-Verlag 483 498
44. U. Frank, Evaluation of reference models, in: Reference Modeling for Business Systems Analysis, Idea Group, 2007, pp. 118139.
45. L. Pomello, G. Rozenberg, and C. Simone A survey of equivalence notions for net based systems G. Rozenberg, Advances in Petri Nets, The DEMON Project, Lecture Notes in Computer Science vol. 609 1992 Springer 410 472
46. J. Hidders, M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede, and J. Verelst When are two workflows the same? M.D. Atkinson, F.K.H.A. Dehne, CATS, CRPIT 41 2005 Australian Computer Society 3 11
47. J. Ebert, G. Engels, Observable or invocable behaviour - you have to choose, Technical Report 94-38, Department of Computer Science, Leiden University, December 1994.
48. W.M.P. van der Aalst, T. Basten, Life-cycle inheritance: a Petri-net-based approach, in: P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Proceedings of the 18th International Conference, ICATPN '97, Toulouse, France, 2327 June 1997, Lecture Notes in Computer Science, vol. 1248, Springer, 1997, pp. 6281. (Pubitemid 127088936)
49. T. Basten, and W.M.P. van der Aalst Inheritance of behavior J. Logic Algebraic Programming (JLAP) 47 2 2001 47 145 (Pubitemid 32605536)
50. M. Weidlich, R. Dijkman, and M. Weske Deciding behaviour compatibility of complex correspondences between process models Proceedings of the 8th International Conference on Business Process Management (BPM), Lecture Notes in Computer Science vol. 6336 2010 Springer-Verlag 78 94
51. W. Brauer, R. Gold, and W. Vogler A survey of behaviour and equivalence preserving refinements of petri nets G. Rozenberg, Applications and Theory of Petri Nets, Lecture Notes in Computer Science vol. 483 1989 Springer 1 46
52. J.L. Peterson Petri nets ACM Comput. Surv. 9 3 1977 223 252
53. T. Murata Petri nets: properties, analysis and applications Proc. IEEE 77 4 1989 541 580
54. B. Nuseibeh, J. Kramer, A. Finkelstein, Viewpoints: meaningful relationships are difficult! in: ICSE, IEEE Computer Society, 2003, pp. 676683.
55. A. Schönberger, G. Wirtz, Taxonomy on consistency requirements in the business process integration context, in: SEKE, Knowledge Systems Institute Graduate School, 2008, pp. 593598.
56. J.M. Zaha, M. Dumas, A.H.M. ter Hofstede, A.P. Barros, and G. Decker Bridging global and local models of service-oriented systems IEEE Trans. Syst. Man Cybern. Part C 38 3 2008 302 318 (Pubitemid 351663117)
57. B. Benatallah, F. Casati, and F. Toumani Representing analysing and managing web service protocols Data Knowl. Eng. 58 3 2006 327 357 (Pubitemid 43994224)
58. A. Martens, Consistency between executable and abstract processes, in: EEE, IEEE Computer Society, 2005, pp. 6067. (Pubitemid 43111388)
59. G. Decker, and M. Weske Behavioral consistency for B2B process integration J. Krogstie, A.L. Opdahl, G. Sindre, CAiSE, Lecture Notes in Computer Science vol. 4495 2007 Springer 81 95
60. C. Canal, E. Pimentel, and J.M. Troya Compatibility and inheritance in software architectures Sci. Comput. Program. 41 2 2001 105 138 (Pubitemid 32820895)
61. X. Zhao, H. Yang, and Z. Qiu Towards the formal model and verification of web service choreography description language M. Bravetti, M. Núñez, G. Zavattaro, WS-FM, Lecture Notes in Computer Science vol. 4184 2006 Springer 273 287 (Pubitemid 44849765)
62. W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf From public views to private views - correctness-by-design for services M. Dumas, R. Heckel, WS-FM, Lecture Notes in Computer Science vol. 4937 2007 Springer 139 153
63. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg Analyzing interacting BPEL processes S. Dustdar, J.L. Fiadeiro, A.P. Sheth, Business Process Management, Lecture Notes in Computer Science vol. 4102 2006 Springer 17 32 (Pubitemid 44568316)
64. R.J. van Glabbeek, and U. Goltz Refinement of actions and equivalence notions for concurrent systems Acta Inf. 37 4/5 2001 229 327 (Pubitemid 33588635)
65. K. Lunn, A. Sixsmith, A. Lindsay, and M. Vaarama Traceability in requirements through process modelling, applied to social care applications Inf. Software Technol. 45 15 2003 1045 1052
66. B. Andersson, M. Bergholtz, A. Edirisuriya, T. Ilayperuma, P. Johannesson, A declarative foundation of process models, in: O. Pastor, J.F. e Cunha (Eds.), Advanced Information Systems Engineering, Proceedings of the 17th International Conference, CAiSE 2005, Porto, Portugal, June 1317, 2005, Lecture Notes in Computer Science, vol. 3520, Springer, 2005, pp. 233247. (Pubitemid 41336106)
67. D. Miers Best practice (BPM) Queue 4 2 2006 40 48
68. J. Koehler, G. Tirenni, S. Kumaran, From business process model to consistent implementation: a case for formal verification methods, in: EDOC, IEEE Computer Society, 2002, pp. 96106.
69. L. Wittgenstein Philosophical Investigations 1953 Prentice Hall Englewood Cliffs
70. G. Frege Sense and reference Philos. Rev. 1948 209 230
71. A. Burton-Jones, Y. Wand, and R. Weber Guidelines for empirical evaluations of conceptual modeling grammars J. Assoc. Inf. Syst. 10 6 2009 495 532
72. M. Petre Why looking isn't always seeing: readership skills and graphical programming Commun. ACM 38 6 1995 33 44
73. J. Recker, A. Dreiling, Does it matter which process modelling language we teach or use? An experimental study on understanding process modelling languages without formal education, in: 18th Australasian Conference on Information Systems, 2007, pp. 356366.
74. J. Mendling, H.A. Reijers, J. Cardoso, What makes process models understandable? in: G. Alonso, P. Dadam, M. Rosemann (Eds.), Business Process Management, Proceedings of the 5th International Conference, BPM 2007, Brisbane, Australia, 2428 September 2007, Lecture Notes in Computer Science, vol. 4714, Springer, 2007, pp. 4863.
75. M. Ciolkowski, O. Laitenberger, S. Vegas, and S. Biffl Practical experiences in the design and conduct of surveys in empirical software engineering R. Conradi, A.I. Wang, ESERNET, Lecture Notes in Computer Science vol. 2765 2003 Springer 104 128
76. M. zur Muehlen, J. Recker, How much language is enough? Theoretical and practical use of the business process modeling notation, in: Z. Bellahsene, M. Léonard (Eds.), Advanced Information Systems Engineering, Proceedings of the 20th International Conference, CAiSE 2008, Montpellier, France, 1620 June 2008, Lecture Notes in Computer Science, vol. 5074, Springer, 2008, pp. 465479.
77. C. Spearman The proof and measurement of association between two things Am J. Psychol. 15 1 1904 72 101
78. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall
79. J. Mendling, Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness, in: Lecture Notes in Business Information Processing, vol. 6, Springer, 2008.
80. M. Dumas, L. García-Bañuelos, and R.M. Dijkman Similarity search of business process models IEEE Data Eng. Bull. 32 3 2009 23 28
81. A. Wombacher, Evaluation of technical measures for workflow similarity based on a pilot study, in: R. Meersman, Z. Tari (Eds.), On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29November 3 2006, Proceedings, Part I, Lecture Notes in Computer Science, vol. 4275, Springer, 2006, pp. 255272. (Pubitemid 44891960)
82. 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 Knowl. Eng. 64 1 2008 55 74 (Pubitemid 350087285)
83. O. Sokolsky, S. Kannan, and I. Lee Simulation-based graph similarity H. Hermanns, J. Palsberg, TACAS, Lecture Notes in Computer Science vol. 3920 2006 Springer 426 440 (Pubitemid 44019386)
84. B.F. van Dongen, R.M. Dijkman, J. Mendling, Measuring similarity between business process models, in: R. Meersman, Z. Tari (Eds.), On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29November 3 2006, Proceedings, Part I, Lecture Notes in Computer Science, vol. 4275, Springer, 2006, pp. 450464.
85. R.M. Dijkman, M. Dumas, and L. García-Bañuelos Graph matching algorithms for business process model similarity search U. Dayal, J. Eder, J. Koehler, H.A. Reijers, BPM, Lecture Notes in Computer Science vol. 5701 2009 Springer 48 63
86. R.M. Dijkman, M. Dumas, B.F. van Dongen, R. Käärik, and J. Mendling Similarity of business process models: metrics and evaluation Inf. Syst. 36 2 2010 498 516
87. J.C. Corrales, D. Grigori, M. Bouzeghoub, Bpel processes matchmaking for service discovery, in: R. Meersman, Z. Tari (Eds.), On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29November 3 2006, Proceedings, Part I, Lecture Notes in Computer Science, vol. 4275, Springer, 2006, pp. 237254. (Pubitemid 44891959)
88. R. Eshuis, P.W.P.J. Grefen, Structural matching of BPEL processes, in: ECOWS, IEEE Computer Society, 2007, pp. 171180.
89. C. Li, M. Reichert, and A. Wombacher On measuring process model similarity based on high-level change operations Q. Li, S. Spaccapietra, E.S.K. Yu, A. Olivé, ER, Lecture Notes in Computer Science vol. 5231 2008 Springer 248 264
90. W.M.P. van der Aalst, Verification of workflow nets, in: P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Proceedings of the 18th International Conference, ICATPN '97, Toulouse, France, 2327 June 1997, Lecture Notes in Computer Science, vol. 1248, Springer, 1997, pp. 407426.
91. J. Dehnert, and P. Rittgen Relaxed soundness of business processes K.R. Dittrich, A. Geppert, M.C. Norrie, CAiSE, Lecture Notes in Computer Science vol. 2068 2001 Springer 157 170 (Pubitemid 33285689)
92. J.M. Küster, K. Ryndina, H. Gall, Generation of business process models for object life cycle compliance, in: G. Alonso, P. Dadam, M. Rosemann (Eds.), Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, 2428 September 2007, Proceedings, Lecture Notes in Computer Science, vol. 4714, Springer, 2007, pp. 165181.
93. K. Ryndina, J.M. Küster, and H. Gall Consistency of business process models and object life cycles T. Kühne, MoDELS Workshops, Lecture Notes in Computer Science vol. 4364 2006 Springer 80 90