Behaviour equivalence and compatibility of business process models with complex correspondences

Computer Journal

Volumn 55, Issue 11, 2012, Pages 1398-1418

  Weidlich, Matthias ^a   Dijkman, Remco ^b   Weske, Mathias ^c  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c UNIVERSITY OF POTSDAM   (Germany)

Author keywords

behaviour compatibility; behaviour equivalence; behavioural models; model verification

Indexed keywords

BEHAVIOUR COMPATIBILITY; BEHAVIOUR EQUIVALENCE; BEHAVIOURAL MODEL; BUSINESS PROCESS; BUSINESS PROCESS MODEL; EQUIVALENCE NOTIONS; EQUIVALENCE VERIFICATION; LEVEL OF ABSTRACTION; MODEL VERIFICATION; MULTIPLE MODELS; PROCESS MODEL;

COMPUTER SCIENCE;

EQUIVALENCE CLASSES;

EID: 84868530435     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxs014     Document Type: Article

References (40)

1. Weske, M. (2007) Business Process Management: Concepts, Languages, Architectures. Springer.
2. van Glabbeek, R.J. (2001) Handbook of Process Algebra. Elsevier.
3. van Glabbeek, R.J. (1993) The Linear Time-Branching Time Spectrum II. In Best, E. (ed.), CONCUR, Hildesheim, Germany, August 23-26, Lecture Notes in Computer Science 715, pp. 66-81. Springer.
4. Weidlich, M., Dijkman, R.M. and Weske, M. (2010) Deciding Behaviour Compatibility of Complex Correspondences between Process Models. In Hull, R., Mendling, J. and Tai, S. (eds), BPM, Hoboken, NJ, USA, September 13-16, Lecture Notes in Computer Science 6336, pp. 78-94. Springer.
5. van der Aalst, W.M.P. and Basten, T. (1997) Life-Cycle Inheritance: A Petri-Net-Based Approach. In Azéma, P. and Balbo, G. (eds), ICATPN, Toulouse, France, June 23-27, Lecture Notes in Computer Science 1248, pp. 62-81. Springer.
6. Basten, T. and Aalst, W. (2001) Inheritance of behavior. JLAP, 47, 47-145.
7. Reisig, W. (1985) Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series 4. Springer.
8. Zelewski, S. (1995) Petrinetzbasierte Modellierung komplexer Produktionssysteme-Eine Untersuchung des Beitrags von Petrinetzen zur Prozeßkoordinierung in komplexen Produktionssystemen, insbesondere Flexiblen Fertigungssystemen, Band 9: Beurteilung des Petrinetz-Konzepts. Technical Report, University of Leipzig (in German).
9. van Glabbeek, R.J. (1990) Comparative Concurrency Semantics and Refinement of Actions. PhD Thesis Free University Amsterdam. Introduction available at http://theory.stanford.edu/rvg/thesis.html. Second edition available as CWI tract 109, CWI, Amsterdam 1996.
10. OMG (2011) Business Process Model and Notation (BPMN) Version 2.0. Technical Report. Object Management Group (OMG).
11. Keller, G., Nüttgens, M. and Scheer, A.-W. (1992) Semantische Prozeßmodellierung auf der Grundlage 'Ereignisgesteuerter Prozeßketten (EPK)'. Technical Report 89. Veröffentlichungen des Instituts für Wirtschaftsinformatik, Saarbrücken.
12. van Glabbeek, R.J. and Weijland, W.P. (1996) Branching time and abstraction in bisimulation semantics. J. ACM, 43, 555-600.
13. Hoare, C.A.R. (1980) Communicating Sequential Processes. In McKeag, R.M. and MacNaghten, A.M. (eds), On the Construction of Programs. Cambridge University Press.
14. Hidders, J., Dumas, M., Aalst, W., Hofstede, A. and Verelst, J. (2005) When are two workflows the same? In Atkinson, M.D. and Dehne, F.K.H.A. (eds), CATS, Newcastle, NSW, Australia, January-February 2005, CRPIT 41, pp. 3-11. Australian Computer Society.
15. Weidlich, M., Dijkman, R.M. and Mendling, J. (2010) The ICoP Framework: Identification of Correspondences between Process Models. In Pernici, B. (ed.), CAiSE, Hammamet, Tunisia, June 7-9, Lecture Notes in Computer Science 6051, pp. 483-498. Springer.
16. Rosemann, M. and van der Aalst, W.M.P. (2007) A configurable reference modelling language. Inf. Syst., 32, 1-23.
17. Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H. and Rosa, M.L. (2008) Configurable workflow models. Int. J. Coop. Inf. Syst., 17, 177-221.
18. Euzenat, J. and Shvaiko, P. (2007) Ontology Matching. Springer.
19. Rahm, E. and Bernstein, P.A. (2001) A survey of approaches to automatic schema matching. VLDB J., 10, 334-350.
20. Choi, N., Song, I.-Y. and Han, H. (2006) A survey on ontology mapping. SIGMOD Record, 35, 34-41.
21. Dijkman, R., Dumas, M., García-Bañuelos, L. and Käärik, R. (2009) Aligning Business Process Models. EDOC, Auckland, New Zealand, September 1-4, pp. 45-53. IEEE Computer Society.
22. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M. and Zave, P. (2007) Matching and Merging of Statecharts Specifications. ICSE, Minneapolis, MN, USA, May 20-26, pp. 54-64. IEEE Computer Society.
23. Dumas, M., García-Bañuelos, L. and Dijkman, R.M. (2009) Similarity search of business process models. IEEE Data Eng. Bull., 32, 23-28.
24. Bunke, H. (2000) Graph Matching: Theoretical Foundations, Algorithms, and Applications. Proc. Int. Conf. Vision Interface, Montreal, Qc, Canada, May, pp. 82-88.
25. Dijkman, R.M., Dumas, M. and García-Bañuelos, L. (2009) Graph Matching Algorithms for Business Process Model Similarity Search. In Dayal, U., Eder, J., Koehler, J. and Reijers, H.A. (eds), BPM, Ulm, Germany, September 8-10, Lecture Notes in Computer Science 5701, pp. 48-63. Springer.
26. Dijkman, R.M., Dumas, M., van Dongen, B.F., Käärik, R. and Mendling, J. (2011) Similarity of business process models: metrics and evaluation. Inf. Syst., 36, 498-516.
27. Li, C., Reichert, M. and Wombacher, A. (2008) On Measuring Process Model Similarity based on High-level Change Operations. In Li, Q., Spaccapietra, S., Yu, E.S.K. and Olivé, A. (eds), ER, Barcelona, Spain, October 20-24, Lecture NotesinComputer Science 5231, pp. 248-264. Springer.
28. Küster, J., Gerth, C., Förster, A. and Engels, G. (2008) Detecting and Resolving Process Model Differences in the Absence of a Change Log. BPM, Milan, Italy, September 2-4, Lecture Notes in Computer Science 5240, pp. 244-260.
29. Sokolsky, O., Kannan, S. and Lee, I. (2006) Simulation-based Graph Similarity. TACAS, Vienna, Austria, March 25-April 2, pp. 426-440.
30. Wombacher, A. and Rozie, M. (2006) Evaluation of Workflow Similarity Measures in Service Discovery. In Schoop, M., Huemer, C., Rebstock, M. and Bichler, M. (eds), Service Oriented Electronic Commerce, Lecture Notes in Informatics 80, pp. 51-71. GI.
31. Wombacher, A. and Li, C. (2010) Alternative Approaches for Workflow Similarity. IEEE SCC, Miami, FL, USA, July 5-10, pp. 337-345. IEEE Computer Society.
32. Dongen, B., Dijkman, R.M. and Mendling, J. (2008) Measuring Similarity between Business Process Models. In Bellahsene, Z. and Léonard, M. (eds), CAiSE, Montpellier, France, June 16-20, Lecture Notes in Computer Science 5074, pp. 450-464. Springer.
33. Kunze, M., Weidlich, M. and Weske, M. (2011) Behavioral Similarity-A Proper Metric. In Rinderle-Ma, S., Toumani, F. and Wolf, K. (eds), BPM, Clermont-Ferrand, France, August 30-September 2, Lecture Notes in Computer Science 6896, pp. 166-181. Springer.
34. Brauer, W., Gold, R. and Vogler, W. (1989) A Survey of Behaviour andEquivalence PreservingRefinementsofPetriNets. In Rozenberg, G. (ed.), Applications and Theory of Petri Nets, Bonn, Germany, June, Lecture Notes in Computer Science 483, pp. 1-46. Springer.
35. Peterson, J.L. (1977) Petri nets. ACM Comput. Surv., 9, 223-252.
36. Murata, T. (1989) Petri nets: properties, analysis and applications. Proc. IEEE, 77, 541-580.
37. Aceto, L. and Hennessy, M. (1994) Adding action refinement to a finite process algebra. Inf. Comput., 115, 179-247.
38. Wong, P.Y.H. and Gibbons, J. (2007) A Process-Algebraic Approach to Workflow Specification and Refinement. In Lumpe, M. and Vanderperren, W. (eds), Software Composition, Lecture Notes in Computer Science 4829, pp. 51-65. Springer.
39. Weidlich, M., Mendling, J. and Weske, M. (2011) Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Softw. Eng., 37, 410-429.
40. Weidlich, M., Polyvyanyy, A., Mendling, J.andWeske, M.(2011) Causal behavioural profiles-efficient computation, applications, and evaluation. Fundam. Inform., 113, 399-435.