{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:24:29Z","timestamp":1761708269824},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857570"},{"type":"electronic","value":"9783540857587"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85758-7_20","type":"book-chapter","created":{"date-parts":[[2008,10,3]],"date-time":"2008-10-03T13:54:09Z","timestamp":1223042049000},"page":"261-277","source":"Crossref","is-referenced-by-count":39,"title":["Diagnosing Differences between Business Process Models"],"prefix":"10.1007","author":[{"given":"Remco","family":"Dijkman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W. Aalst van der","year":"1999","unstructured":"van der Aalst, W.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology\u00a041, 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11431855_29","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Motahari Nezhad, H.R., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 415\u2013429. Springer, Heidelberg (2005)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-55179-4_6","volume-title":"Computer Aided Verification","author":"R. Cleaveland","year":"1992","unstructured":"Cleaveland, R.: On Automatically Explaining Bisimulation Inequivalence. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 364\u2013372. Springer, Heidelberg (1992)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Dijkman, R.M.: A Classification of Differences in Similar Business Processes. In: EDOC 2007, pp. 37\u201347 (2007)","DOI":"10.1109\/EDOC.2007.4383980"},{"key":"20_CR5","unstructured":"Dijkman, R.M.: Feedback on Differences between Business Processes. BETA Working Paper WP-234, Eindhoven University of Technology, The Netherlands (2007)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring Similarity between Business Process Models. In: CAiSE 2008, pp. 450\u2013464 (2008)","DOI":"10.1007\/978-3-540-69534-9_34"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11431855_26","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 372\u2013386. Springer, Heidelberg (2005)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"20_CR9","series-title":"Handbook of Process Algebra","first-page":"3","volume-title":"The Linear Time \u2013 Branching Time Spectrum I: The Semantics of Concrete Sequential Processes","author":"R. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.: The Linear Time \u2013 Branching Time Spectrum I: The Semantics of Concrete Sequential Processes. Handbook of Process Algebra, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"key":"20_CR10","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.-W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Heft 89, Institut f\u00fcr Wirtschaftsinformatik, Saarbr\u00fccken, Germany (1992)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.datak.2005.02.005","volume":"56","author":"E. Kindler","year":"2006","unstructured":"Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering\u00a056, 23\u201340 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: BPM 2008 (accepted, 2008)","DOI":"10.1007\/978-3-540-85758-7_12"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-72988-4_31","volume-title":"Advanced Information Systems Engineering","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 439\u2013453. Springer, Heidelberg (2007)"},{"key":"20_CR14","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. Ph.D. Thesis, Vienna University of Economics and Business Administration, Austria (2007)"},{"key":"20_CR15","unstructured":"Mendling, J., van der Aalst, W.: Towards EPC Semantics based on State and Context. In: EPK 2006, pp. 25\u201348 (2006)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Motahari Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: WWW 2007, pp. 993\u20131002 (2007)","DOI":"10.1145\/1242572.1242706"},{"issue":"2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0169-023X(00)00043-4","volume":"36","author":"G. Preuner","year":"2001","unstructured":"Preuner, G., Conrad, S., Schrefl, M.: View Integration of Behavior in Object-Oriented Databases. Data & Knowledge Engineering\u00a036(2), 153\u2013183 (2001)","journal-title":"Data & Knowledge Engineering"},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Information Systems\u00a033(1), 64\u201395 (2008)","journal-title":"Information Systems"},{"key":"20_CR19","volume-title":"Languages and Machines","author":"T. Sudkamp","year":"1996","unstructured":"Sudkamp, T.: Languages and Machines, 2nd edn. Addison-Wesley, Reading (1996)","edition":"2"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-540-72988-4_40","volume-title":"Advanced Information Systems Engineering","author":"B. Weber","year":"2007","unstructured":"Weber, B., Rinderle, S., Reichert, M.: Change Patterns and Change Support Features in Process-Aware Information Systems. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 574\u2013588. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85758-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:50:18Z","timestamp":1557834618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85758-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540857570","9783540857587"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85758-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}