{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:41:10Z","timestamp":1743018070605,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030726508"},{"type":"electronic","value":"9783030726515"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-72651-5_38","type":"book-chapter","created":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T07:02:28Z","timestamp":1616914948000},"page":"394-404","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Multi-perspective Conformance Checking Applied to BPMN-E2"],"prefix":"10.1007","author":[{"given":"Rui","family":"Calheno","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"Solange","family":"Rito Lima","sequence":"additional","affiliation":[]},{"given":"Pedro Rangel","family":"Henriques","sequence":"additional","affiliation":[]},{"given":"Mateo","family":"Ramos-Merino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,3,29]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst, W.: Data Science in Action. In: Process Mining, pp. 3\u201323. Springer, Berlin (2016)","DOI":"10.1007\/978-3-662-49851-4_1"},{"key":"38_CR2","unstructured":"Baumgrass, A., Herzberg, N., Meyer, A., Weske, M.: BPMN extension for business process monitoring. Enterp. Model. Inf. Syst. Architect. EMISA 2014, 85\u201398 (2014)"},{"key":"38_CR3","unstructured":"Berti, A., van Zelst, S.J., van\u00a0der Aalst, W.: process mining for python (PM4Py): bridging the gap between process- and data science. In: CEUR Workshop Proceedings vol. 2374, pp. 13\u201316 (May 2019). http:\/\/python.orghttp:\/\/arxiv.org\/abs\/1905.06169"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Braun, R., Schlieter, H., Burwitz, M., Esswein, W.: BPMN4CP: Design and implementation of a BPMN extension for clinical pathways. In: 2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 9\u201316. IEEE (2014)","DOI":"10.1109\/BIBM.2014.6999261"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"De\u00a0Leoni, M., Van Der\u00a0Aalst, W.M.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8094 LNCS, pp. 113\u2013129 (2013)","DOI":"10.1007\/978-3-642-40176-3_10"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"De Leoni, M., Van Der Aalst, W.M.: Data-aware process mining: discovering decisions in processes using alignments. In: Proceedings of the ACM Symposium on Applied Computing, pp. 1454\u20131461 (2013)","DOI":"10.1145\/2480362.2480633"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Friedenstab, J.P., Janiesch, C., Matzner, M., Muller, O.: Extending BPMN for business activity monitoring. In: 2012 45th Hawaii International Conference on System Science (HICSS), pp. 4158\u20134167. IEEE (2012)","DOI":"10.1109\/HICSS.2012.276"},{"issue":"4","key":"38_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1080\/07399019508963000","volume":"12","author":"FH Grupe","year":"1995","unstructured":"Grupe, F.H., Owrang, M.M.: Data base mining: discovering new knowledge and competitive advantage. Inf. Syst. Manage. 12(4), 26\u201331 (1995)","journal-title":"Inf. Syst. Manage."},{"issue":"4","key":"38_CR9","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s10270-015-0502-0","volume":"16","author":"AA Kalenkova","year":"2017","unstructured":"Kalenkova, A.A., van der Aalst, W.M., Lomazova, I.A., Rubin, V.A.: Process mining using BPMN: relating event logs and process models. Softw. Syst. Model. 16(4), 1019\u20131048 (2017)","journal-title":"Softw. Syst. Model."},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Leemans, S.J., Poppe, E., Wynn, M.T.: Directly follows-based process mining: exploration & a case study. In: Proceedings - 2019 International Conference on Process Mining, ICPM 2019, pp. 25\u201332 (2019)","DOI":"10.1109\/ICPM.2019.00015"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7044 LNCS (PART 1), pp. 82\u201399 (2011)","DOI":"10.1007\/978-3-642-25109-2_7"},{"key":"38_CR12","unstructured":"de\u00a0Moura, L., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Lecture Notes in Computer Science, pp. 337\u2013340. Springer-Verlag (2008), http:\/\/link.springer.com\/10.1007\/978-3-540-78800-3_24"},{"issue":"1","key":"38_CR13","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/j.eswa.2013.07.020","volume":"41","author":"A Musa","year":"2014","unstructured":"Musa, A., Gunasekaran, A., Yusuf, Y.: Supply chain product visibility: methods, systems and impacts. Expert Syst. Appl. 41(1), 176\u2013194 (2014)","journal-title":"Expert Syst. Appl."},{"key":"38_CR14","unstructured":"Ramos-Merino, M., Santos-Gago, J.M., \u00c1lvarez-Sabucedo, L.M., Alonso-Roris, V.M., Sanz-Valero, J.: BPMN-E2: a BPMN extension for an enhanced workflow description. Softw. Syst. Model. 18(4), 2399\u20132419 (2019)"},{"issue":"4","key":"38_CR15","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1093\/ietisy\/e90-d.4.745","volume":"90","author":"A Rodr\u00edguez","year":"2007","unstructured":"Rodr\u00edguez, A., Fern\u00e1ndez-Medina, E., Piattini, M.: A BPMN extension for the modeling of security requirements in business processes. IEICE Trans. Inf. Syst. 90(4), 745\u2013752 (2007)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Saeedi, K., Zhao, L., Sampaio, P.R.F.: Extending BPMN for supporting customer-facing service quality requirements. In: 2010 IEEE International Conference on Web Services (ICWS), pp. 616\u2013623. IEEE (2010)","DOI":"10.1109\/ICWS.2010.116"},{"key":"38_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.3233\/SAT190034","volume":"3","author":"R Sebastiani","year":"2007","unstructured":"Sebastiani, R., Armando, A., Barrett, C., Bozzano, M., Bruttomesso, R., Cimatti, A., Franzen, A., De Moura, L., Ghilardi, S., Griggio, A., Krstic, S., Nieuwenhuis, R., Oliveras, A., Ranise, S., Roveri, M., Strichman, O., Tacchella, A., Tinelli, C.: Lazy satisfiability modulo theories important discussions with. J. Satisfiability Boolean Model. Comput. 3, 141\u2013224 (2007)","journal-title":"J. Satisfiability Boolean Model. Comput."},{"key":"38_CR18","unstructured":"Van Der Aalst, W., Adriansyah, A., De Medeiros, A.K.A., et\u00a0al.: Process mining manifesto. In: Lecture Notes in Business Information Processing. vol. 99 LNBIP, pp. 169\u2013194 (2012)"},{"issue":"3","key":"38_CR19","doi-asserted-by":"publisher","first-page":"2500","DOI":"10.1016\/j.eswa.2010.08.039","volume":"38","author":"K Zhang","year":"2011","unstructured":"Zhang, K., Chai, Y., Yang, S.X., Weng, D.: Pre-warning analysis and application in traceability systems for food production supply chains. Expert Syst. Appl. 38(3), 2500\u20132507 (2011)","journal-title":"Expert Syst. Appl."}],"container-title":["Advances in Intelligent Systems and Computing","Trends and Applications in Information Systems and Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-72651-5_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T07:10:48Z","timestamp":1616915448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-72651-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030726508","9783030726515"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-72651-5_38","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"29 March 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WorldCIST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"World Conference on Information Systems and Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Terceira Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 April 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"worldcist2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/worldcist.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}