{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:49Z","timestamp":1742913649388,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031209833"},{"type":"electronic","value":"9783031209840"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-20984-0_6","type":"book-chapter","created":{"date-parts":[[2022,11,22]],"date-time":"2022-11-22T01:02:58Z","timestamp":1669078978000},"page":"89-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Service Regulation: Modeling and\u00a0Recognition"],"prefix":"10.1007","author":[{"given":"Jintao","family":"Chen","sequence":"first","affiliation":[]},{"given":"Jianwei","family":"Yin","sequence":"additional","affiliation":[]},{"given":"Shuiguang","family":"Deng","sequence":"additional","affiliation":[]},{"given":"Tiancheng","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Meng","family":"Xi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,22]]},"reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Van der Aalst","year":"2012","unstructured":"Van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. Data Min. Knowl. Disc. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. Data Min. Knowl. Disc."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.cose.2017.10.010","volume":"73","author":"M Alizadeh","year":"2018","unstructured":"Alizadeh, M., Lu, X., Fahland, D., Zannone, N., van der Aalst, W.M.: Linking data and process perspectives for conformance analysis. Comput. Secur. 73, 172\u2013193 (2018)","journal-title":"Comput. Secur."},{"key":"6_CR3","unstructured":"Augusto, A., Awad, A., Dumas, M.: Efficient checking of temporal compliance rules over business process event logs. arXiv preprint arXiv:2112.04623 (2021)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-63079-2_1","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XV","author":"A Berti","year":"2021","unstructured":"Berti, A., van der Aalst, W.M.P.: A novel token-based replay technique to speed up conformance checking and process enhancement. In: Koutny, M., Kordon, F., Pomello, L. (eds.) Transactions on Petri Nets and Other Models of Concurrency XV. LNCS, vol. 12530, pp. 1\u201326. Springer, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-662-63079-2_1"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-98648-7_15","volume-title":"Business Process Management","author":"A Burattin","year":"2018","unstructured":"Burattin, A., van Zelst, S.J., Armas-Cervantes, A., van Dongen, B.F., Carmona, J.: online conformance checking using behavioural patterns. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 250\u2013267. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_15"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, pp. 1\u201310 (2019)","DOI":"10.1145\/3329007.3329014"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-030-85469-0_15","volume-title":"Business Process Management","author":"P Felli","year":"2021","unstructured":"Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: CoCoMoT: conformance checking of multi-perspective processes via SMT. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds.) BPM 2021. LNCS, vol. 12875, pp. 217\u2013234. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85469-0_15"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10115-017-1142-1","volume":"57","author":"M Hashmi","year":"2018","unstructured":"Hashmi, M., Governatori, G., Lam, H.P., Wynn, M.T.: Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1), 79\u2013133 (2018)","journal-title":"Knowl. Inf. Syst."},{"key":"6_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-30359-3_5","volume-title":"Business Information Systems","author":"M de Leoni","year":"2012","unstructured":"de Leoni, M., van der Aalst, W.M.P., van Dongen, B.F.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 48\u201359. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30359-3_5"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., De Leoni, M., Reijers, H.A., Van Der Aalst, W.M.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407\u2013437 (2016)","journal-title":"Computing"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2022.104076","volume":"130","author":"E Oliart","year":"2022","unstructured":"Oliart, E., Rojas, E., Capurro, D.: Are we ready for conformance checking in healthcare? measuring adherence to clinical guidelines: a scoping systematic literature review. J. Biomed. Inf. 130, 104076 (2022)","journal-title":"J. Biomed. Inf."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Papazoglou, M.P.: Making business processes compliant to standards and regulations. In: 2011 IEEE 15th International Enterprise Distributed Object Computing Conference, pp. 3\u201313. IEEE (2011)","DOI":"10.1109\/EDOC.2011.37"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Parrow, J.: An introduction to the $$\\pi $$-calculus. In: Handbook of Process algebra, pp. 479\u2013543. Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"101810","DOI":"10.1016\/j.is.2021.101810","volume":"102","author":"M Pegoraro","year":"2021","unstructured":"Pegoraro, M., Uysal, M.S., van der Aalst, W.M.: Conformance checking over uncertain event data. Inf. Syst. 102, 101810 (2021)","journal-title":"Inf. Syst."},{"key":"6_CR15","unstructured":"Pufahl, L., Rehse, J.R.: Conformance checking with regulations-a research agenda. In: EMISA, pp. 24\u201329 (2021)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Siek, M., Mukti, R.: Business process mining from e-commerce event web logs: conformance checking and bottleneck identification. In: IOP Conference Series: Earth and Environmental Science, vol. 729, p. 012133. IOP Publishing (2021)","DOI":"10.1088\/1755-1315\/729\/1\/012133"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"101731","DOI":"10.1016\/j.is.2021.101731","volume":"99","author":"\u00c1 Valencia-Parra","year":"2021","unstructured":"Valencia-Parra, \u00c1., Varela-Vaca, \u00c1.J., G\u00f3mez-L\u00f3pez, M.T., Carmona, J., Bergenthum, R.: Empowering conformance checking using big data through horizontal decomposition. Inf. Syst. 99, 101731 (2021)","journal-title":"Inf. Syst."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Wang, Y., Yu, W., Teng, P., Liu, G., Xiang, D.: A detection method for abnormal transactions in e-commerce based on extended data flow conformance checking. Wireless Commun. Mob. Comput. 2022 (2022)","DOI":"10.1155\/2022\/4434714"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20984-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T20:02:50Z","timestamp":1734984170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20984-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031209833","9783031209840"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20984-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"22 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seville","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2022.spilab.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}