{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:29:31Z","timestamp":1756312171133,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031703959"},{"type":"electronic","value":"9783031703966"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-70396-6_11","type":"book-chapter","created":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T10:01:54Z","timestamp":1725184914000},"page":"185-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Exploiting General Purpose Big-Data Frameworks in\u00a0Process Mining: The\u00a0Case of\u00a0Declarative Process Discovery"],"prefix":"10.1007","author":[{"given":"Ioannis","family":"Mavroudopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Varvoutas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgia","family":"Kougka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anastasios","family":"Gounaris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Comuzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08848-3","volume-title":"Process Mining Handbook","author":"WM van der Aalst","year":"2022","unstructured":"van der Aalst, W.M., Carmona, J.: Process Mining Handbook. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Alman, A., Ciccio, C.D., Haas, D., Maggi, F.M., Nolte, A.: Rule mining with rum. In: Proceedings of the ICPM, pp. 121\u2013128. IEEE (2020)","DOI":"10.1109\/ICPM49681.2020.00027"},{"key":"11_CR3","unstructured":"Augusto, A., Awad, A., Dumas, M.: Efficient checking of temporal compliance rules over business process event logs. CoRR abs\/2112.04623 (2021)"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s10009-021-00616-0","volume":"24","author":"CO Back","year":"2022","unstructured":"Back, C.O., Slaats, T., Hildebrandt, T.T., Marquard, M.: DisCoveR: accurate and efficient discovery of declarative process models. Int. J. Softw. Tools Technol. Transf. 24(4), 563\u2013587 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.is.2018.09.005","volume":"80","author":"N van Beest","year":"2019","unstructured":"van Beest, N., Groefsema, H., Garc\u00eda-Ba\u00f1uelos, L., Aiello, M.: Variability in business processes: automatically obtaining a generic specification. Inf. Syst. 80, 36\u201355 (2019)","journal-title":"Inf. Syst."},{"issue":"6","key":"11_CR6","first-page":"1130","volume":"32","author":"J De Smedt","year":"2019","unstructured":"De Smedt, J., Deeva, G., De Weerdt, J.: Mining behavioral sequence constraints for classification. IEEE TKDE 32(6), 1130\u20131142 (2019)","journal-title":"IEEE TKDE"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Di\u00a0Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM Trans. Manag. Inf. Syst. 5(4), 24:1\u201324:37 (2015)","DOI":"10.1145\/2629447"},{"key":"11_CR8","unstructured":"Donadello, I., et\u00a0al.: Declare4Py: a python library for declarative process mining. In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022, vol.\u00a03216, pp. 117\u2013121 (2022)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"BF van Dongen","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444\u2013454. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494744_25"},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56509-4","edition":"2"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10270-014-0395-3","volume":"15","author":"A Elgammal","year":"2016","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.J., Papazoglou, M.: Formalizing and appling compliance patterns for business process compliance. Softw. Syst. Model. 15, 119\u2013146 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"1\u20132","key":"11_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s13740-021-00122-1","volume":"10","author":"S Esser","year":"2021","unstructured":"Esser, S., Fahland, D.: Multi-dimensional event data in graph databases. J. Data Semant. 10(1\u20132), 109\u2013141 (2021)","journal-title":"J. Data Semant."},{"key":"11_CR13","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). https:\/\/doi.org\/10.1007\/978-3-642-31095-9_18"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., Van\u00a0der Aalst, W.M.: User-guided discovery of declarative process models. In: IEEE CIDM, pp. 192\u2013199. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"issue":"P2","key":"11_CR15","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.is.2017.12.002","volume":"74","author":"FM Maggi","year":"2018","unstructured":"Maggi, F.M., Di Ciccio, C., Di Francescomarino, C., Kala, T.: Parallel algorithms for the automated discovery of declarative process models. Inf. Syst. 74(P2), 136\u2013152 (2018)","journal-title":"Inf. Syst."},{"key":"11_CR16","unstructured":"Mavroudopoulos, I., Gounaris, A.: SIESTA: a scalable InfrastructurE of sequential paTtern analysis. IEEE Trans. Big Data 1\u201316 (2022)"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Mavroudopoulos, I., Gounaris, A.: A comprehensive scalable framework for cloud-native pattern detection with enhanced expressiveness. CoRR abs\/2401.09960 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2401.09960","DOI":"10.48550\/ARXIV.2401.09960"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., Van\u00a0der Aalst, W.M.: Declare: full support for loosely-structured processes. In: Proceedings of the EDOC, p. 287 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-319-39696-5_18","volume-title":"Advanced Information Systems Engineering","author":"S Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Efficient and customisable declarative process mining with SQL. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 290\u2013305. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39696-5_18"},{"key":"11_CR20","unstructured":"Westergaard, M., Stahl, C.: Leveraging super-scalarity and parallelism to provide fast declare mining without restrictions. In: BPM Demos, pp. 31\u201335 (2013)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-031-21595-7_11","volume-title":"Model and Data Engineering","author":"NM Zaki","year":"2022","unstructured":"Zaki, N.M., Helal, I.M., Hassanein, E.E., Awad, A.: Efficient checking of timed ordered anti-patterns over graph-encoded event logs. In: Fournier-Viger, P., Hassan, A., Bellatreche, L. (eds.) MEDI 2022. LNCS, vol. 13761, pp. 147\u2013161. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-21595-7_11"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70396-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T10:14:03Z","timestamp":1725185643000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70396-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031703959","9783031703966"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70396-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krakow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2024.agh.edu.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}