{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:46:32Z","timestamp":1759682792906,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192369"},{"type":"electronic","value":"9783319192376"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19237-6_8","type":"book-chapter","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T13:15:31Z","timestamp":1432646131000},"page":"119-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Matching of Events and Activities - An Approach Using Declarative Modeling Constraints"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Di Ciccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,27]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN, LNCS, vol. 1248, pp. 407\u2013426. Springer (1997)","DOI":"10.1007\/3-540-63139-9_48"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3_1"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"WMP van der Aalst","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"8_CR4","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-38484-4_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"T Baier","year":"2013","unstructured":"Baier, T., Mendling, J.: Bridging Abstraction Layers in Process Mining: Event to Activity Mapping. In: Nurcan, S., Proper, H.A., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) BPMDS 2013 and EMMSAD 2013. LNBIP, vol. 147, pp. 109\u2013123. Springer, Heidelberg (2013)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.is.2014.04.004","volume":"46","author":"T Baier","year":"2014","unstructured":"Baier, T., Mendling, J., Weske, M.: Bridging abstraction layers in process mining. Information Systems 46, 123\u2013139 (2014)","journal-title":"Information Systems"},{"key":"8_CR6","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-662-45501-2_5","volume-title":"The Practice of Enterprise Modeling","author":"T Baier","year":"2014","unstructured":"Baier, T., Rogge-Solti, A., Weske, M., Mendling, J.: Matching of Events and Activities - An Approach Based on Constraint Satisfaction. In: Frank, U., Loucopoulos, P., Pastor, \u00d3., Petrounias, I. (eds.) PoEM 2014. LNBIP, vol. 197, pp. 58\u201372. Springer, Heidelberg (2014)"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1109\/TSMCB.2012.2216873","volume":"43","author":"DJ Cook","year":"2013","unstructured":"Cook, D.J., Krishnan, N.C., Rashidi, P.: Activity discovery and activity recognition: A new partnership. IEEE T. Cybernetics 43(3), 820\u2013828 (2013)","journal-title":"IEEE T. Cybernetics"},{"issue":"5","key":"8_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MIC.2013.60","volume":"17","author":"C Di Ciccio","year":"2013","unstructured":"Di Ciccio, C., Mecella, M.: Mining artful processes from knowledge workers\u2019 emails. IEEE Internet Computing 17(5), 10\u201320 (2013)","journal-title":"IEEE Internet Computing"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM Trans. Manage. Inf. Syst. 5(4), 24:1\u201324:37 (2015)","DOI":"10.1145\/2629447"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.is.2010.09.006","volume":"36","author":"RM Dijkman","year":"2011","unstructured":"Dijkman, R.M., Dumas, M., van Dongen, B.F., K\u00e4\u00e4rik, R., Mendling, J.: Similarity of Business Process Models: Metrics and Evaluation. Information Systems 36(2), 498\u2013516 (2011)","journal-title":"Information Systems"},{"key":"8_CR11","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer (2007)"},{"issue":"5","key":"8_CR12","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D Fahland","year":"2011","unstructured":"Fahland, D., Favre, C., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data & Knowledge Engineering 70(5), 448\u2013466 (2011)","journal-title":"Data & Knowledge Engineering"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Freuder, E., Mackworth, A.: Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol. 2, ch. Constraint satisfaction: An emerging paradigm, pp. 13\u201327. Elsevier (2006)","DOI":"10.1016\/S1574-6526(06)80006-4"},{"key":"8_CR14","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Mining activity clusters from low-level event logs. In: BETA Working Paper Series. vol. WP 165. Eindhoven University of Technology (2006)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"CW G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy Mining \u2013 Adaptive Process Simplification Based on Multi-perspective Metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"key":"8_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12186-9_13","volume-title":"Business Process Management Workshops","author":"CW G\u00fcnther","year":"2010","unstructured":"G\u00fcnther, C.W., Rozinat, A., van der Aalst, W.M.P.: Activity Mining by Global Trace Segmentation. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 128\u2013139. Springer, Heidelberg (2010)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-40176-3_17","volume-title":"Business Process Management","author":"C Klinkm\u00fcller","year":"2013","unstructured":"Klinkm\u00fcller, C., Weber, I., Mendling, J., Leopold, H., Ludwig, A.: Increasing Recall of Process Model Matching by Improved Activity Label Matching. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 211\u2013218. Springer, Heidelberg (2013)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-642-32885-5_25","volume-title":"Business Process Management","author":"H Leopold","year":"2012","unstructured":"Leopold, H., Niepert, M., Weidlich, M., Mendling, J., Dijkman, R., Stuckenschmidt, H.: Probabilistic Optimization of Semantic Process Model Matching. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 319\u2013334. Springer, Heidelberg (2012)"},{"key":"8_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-20511-8_10","volume-title":"Business Process Management Workshops","author":"J Li","year":"2011","unstructured":"Li, J., Bose, R.P.J.C., van der Aalst, W.M.P.: Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns. In: Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 109\u2013121. Springer, Heidelberg (2011)"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume":"2","author":"N Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. Petri Nets and Other Models of Concurrency 2, 46\u201363 (2009)","journal-title":"Petri Nets and Other Models of Concurrency"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-31095-9_18","volume-title":"Advanced Information Systems Engineering","author":"FM Maggi","year":"2012","unstructured":"Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient Discovery of Understandable Declarative Process Models from Event Logs. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270\u2013285. Springer, Heidelberg (2012)"},{"issue":"3","key":"8_CR22","first-page":"1117","volume":"13","author":"R P\u00e9rez-Castillo","year":"2014","unstructured":"P\u00e9rez-Castillo, R., Weber, B., de Guzm\u00e1n, I.G.R., Piattini, M., Pinggera, J.: Assessing event correlation in non-process-aware information systems. Software and System Modeling 13(3), 1117\u20131139 (2014)","journal-title":"Software and System Modeling"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-45005-1_27","volume-title":"Service-Oriented Computing","author":"A Rogge-Solti","year":"2013","unstructured":"Rogge-Solti, A., Weske, M.: Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 389\u2013403. Springer, Heidelberg (2013)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-540-72988-4_30","volume-title":"Advanced Information Systems Engineering","author":"M La Rosa","year":"2007","unstructured":"La Rosa, M., Lux, J., Seidel, S., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-driven Configuration of Reference Process Models. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 424\u2013438. Springer, Heidelberg (2007)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-13094-6_37","volume-title":"Advanced Information Systems Engineering","author":"M Weidlich","year":"2010","unstructured":"Weidlich, M., Dijkman, R., Mendling, J.: The ICoP Framework: Identification of Correspondences between Process Models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483\u2013498. Springer, Heidelberg (2010)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R., Weske, M.: Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences. ComJnl (2012)","DOI":"10.1093\/comjnl\/bxs014"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19237-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T03:22:31Z","timestamp":1676949751000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19237-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192369","9783319192376"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19237-6_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}