{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T04:45:38Z","timestamp":1749789938092},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_1","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"3-11","source":"Crossref","is-referenced-by-count":4,"title":["The Alignment of Formal, Structured and Unstructured Process Descriptions"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"issue":"8","key":"1_CR1","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1109\/TSE.2014.2327044","volume":"40","author":"H Leopold","year":"2014","unstructured":"Leopold, H., Mendling, J., Polyvyanyy, A.: Supporting process model validation through natural language generation. IEEE Trans. Softw. Eng. 40(8), 818\u2013840 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Heidelberg (2013)"},{"unstructured":"Ottensooser, A., Fekete, A.D.: Comparing readability of graphical and sentential process design notations: data analysis report. University of Sydney, School of Information Technologies (2010)","key":"1_CR3"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1016\/j.jss.2011.09.023","volume":"85","author":"A Ottensooser","year":"2012","unstructured":"Ottensooser, A., Fekete, A., Reijers, H.A., Mendling, J., Menictas, C.: Making sense of business process descriptions: an experimental comparison of graphical and textual notations. J. Syst. Softw. 85(3), 596\u2013606 (2012)","journal-title":"J. Syst. Softw."},{"key":"1_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining - Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)"},{"doi-asserted-by":"publisher","unstructured":"van der Aa, H., Leopold, H., Mannhardt, F., Reijers, H.A.: On the fragmentation of process information: challenges, solutions, and outlook. In: Proceedings of Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, 8\u20139 June 2015, pp. 3\u201318 (2015)","key":"1_CR6","DOI":"10.1007\/978-3-319-19237-6_1"},{"unstructured":"OMG: Business process model and notation (BPMN) version 2.0 (2011)","key":"1_CR7"},{"key":"1_CR8","volume-title":"ARIS-Business Process Modeling","author":"AW Scheer","year":"1998","unstructured":"Scheer, A.W.: ARIS-Business Process Modeling. Springer, Heidelberg (1998)"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013574 (1989)","journal-title":"Proc. IEEE"},{"issue":"4","key":"1_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"1_CR11","volume-title":"Writing Effective Use Cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley Longman, Boston (2000)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-642-21640-4_36","volume-title":"Advanced Information Systems Engineering","author":"F Friedrich","year":"2011","unstructured":"Friedrich, F., Mendling, J., Puhlmann, F.: Process model generation from natural language text. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 482\u2013496. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21640-4_36"},{"unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)","key":"1_CR13"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1016\/j.is.2015.09.009","volume":"56","author":"A Armas-Cervantes","year":"2016","unstructured":"Armas-Cervantes, A., Baldan, P., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Diagnosing behavioral differences between business process models: an approach based on event structures. Inf. Syst. 56, 304\u2013325 (2016)","journal-title":"Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"van Dongen, B., Carmona, J., Chatain, T., Taymouri, F.: Aligning modeled and observed behavior: a compromise between complexity and quality. In: Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017, Essen, Germany, 12\u201316 June 2017, Proceedings (2017, in press)","key":"1_CR15","DOI":"10.1007\/978-3-319-59536-8_7"},{"issue":"1","key":"1_CR16","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.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-45348-4_12","volume-title":"Business Process Management","author":"F Taymouri","year":"2016","unstructured":"Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 197\u2013214. Springer, Cham (2016). doi: 10.1007\/978-3-319-45348-4_12"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-39086-4_14","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"HMW Verbeek","year":"2016","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Merging alignments for decomposed replay. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 219\u2013239. Springer, Cham (2016). doi: 10.1007\/978-3-319-39086-4_14"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-319-23063-4_6","volume-title":"Business Process Management","author":"H Aa van der","year":"2015","unstructured":"van der Aa, H., Leopold, H., Reijers, H.A.: Detecting inconsistencies between process models and textual descriptions. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 90\u2013105. Springer, Cham (2015). doi: 10.1007\/978-3-319-23063-4_6"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/j.is.2016.07.010","volume":"64","author":"H Aa van der","year":"2016","unstructured":"van der Aa, H., Leopold, H., Reijers, H.A.: Comparing textual descriptions to process models - the automatic detection of inconsistencies. Inf. Syst. 64, 447\u2013460 (2016)","journal-title":"Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"S\u00e0nchez-Ferreres, J., Carmona, J., Padr\u00f3, L.: Aligning textual and graphical descriptions of processes through ILP techniques. In: Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017, Essen, Germany, 12\u201316 June 2017, Proceedings (2017, in press)","key":"1_CR21","DOI":"10.1007\/978-3-319-59536-8_26"},{"unstructured":"UzZaman, N., Llorens, H., Derczynski, L., Allen, J., Verhagen, M., Pustejovsky, J.: Semeval-2013 task 1: Tempeval-3: evaluating time expressions, events, and temporal relations. In: Second Joint Conference on Lexical and Computational Semantics (*SEM), vol. 2: Proceedings of the Seventh International Workshop on Semantic Evaluation (SemEval 2013), Atlanta, Georgia, USA, Association for Computational Linguistics, pp. 1\u20139, June 2013","key":"1_CR22"},{"unstructured":"Mirza, P.: Extracting temporal and causal relations between events. Ph.D. thesis, International Doctorate School in Information and Communication Technologies, University of Trento (2016)","key":"1_CR23"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.compind.2011.11.003","volume":"63","author":"M Becker","year":"2012","unstructured":"Becker, M., Laue, R.: A comparative survey of business process similarity measures. Comput. Ind. 63(2), 148\u2013167 (2012)","journal-title":"Comput. Ind."},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.11.010","volume":"49","author":"ML Rosa","year":"2015","unstructured":"Rosa, M.L., Dumas, M., Ekanayake, C.C., Garc\u00eda-Ba\u00f1uelos, L., Recker, J., ter Hofstede, A.H.M.: Detecting approximate clones in business process model repositories. Inf. Syst. 49, 102\u2013125 (2015)","journal-title":"Inf. Syst."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-319-23063-4_26","volume-title":"Business Process Management","author":"NRTP Beest van","year":"2015","unstructured":"van Beest, N.R.T.P., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Rosa, M.: Log delta analysis: interpretable differencing of business process event logs. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 386\u2013405. Springer, Cham (2015). doi: 10.1007\/978-3-319-23063-4_26"},{"doi-asserted-by":"publisher","unstructured":"Bifet, A., Gavald\u00e0, R.: Learning from time-changing data with adaptive windowing. In: Proceedings of the Seventh SIAM International Conference on Data Mining, 26\u201328 April 2007, Minneapolis, Minnesota, USA, pp. 443\u2013448 (2007)","key":"1_CR27","DOI":"10.1137\/1.9781611972771.42"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-319-23063-4_27","volume-title":"Business Process Management","author":"A Maaradji","year":"2015","unstructured":"Maaradji, A., Dumas, M., Rosa, M., Ostovar, A.: Fast and accurate business process drift detection. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 406\u2013422. Springer, Cham (2015). doi: 10.1007\/978-3-319-23063-4_27"},{"doi-asserted-by":"crossref","unstructured":"Papineni, K., Roukos, S., Ward, T., Zhu, W.: BLEU: a method for automatic evaluation of machine translation. In: Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics, 6\u201312 July 2002, Philadelphia, PA, USA, pp. 311\u2013318 (2002)","key":"1_CR29","DOI":"10.3115\/1073083.1073135"},{"unstructured":"Lin, C.Y.: Rouge: a package for automatic evaluation of summaries. In: Proceedings of the ACL-2004 Workshop. Association for Computational Linguistics, pp. 74\u201381 (2004)","key":"1_CR30"},{"unstructured":"Negri, M., Marchetti, A., Mehdad, Y., Bentivogli, L., Giampiccolo, D.: Semeval-2012 task 8: cross-lingual textual entailment for content synchronization. In: Proceedings of *SEM 2012 (2012)","key":"1_CR31"},{"doi-asserted-by":"crossref","unstructured":"Agirre, E., Banea, C., Cardie, C., Cer, D.M., Diab, M.T., Gonzalez-Agirre, A., Guo, W., Lopez-Gazpio, I., Maritxalar, M., Mihalcea, R., Rigau, G., Uria, L., Wiebe, J.: Semeval-2015 task 2: semantic textual similarity, English, Spanish and pilot on interpretability. In: Proceedings of the 9th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2015, Denver, Colorado, USA, 4\u20135 June 2015, pp. 252\u2013263 (2015)","key":"1_CR32","DOI":"10.18653\/v1\/S15-2045"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T11:53:55Z","timestamp":1692791635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}