{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:33Z","timestamp":1774915533249,"version":"3.50.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030212964","type":"print"},{"value":"9783030212971","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-21297-1_6","type":"book-chapter","created":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T05:28:16Z","timestamp":1558589296000},"page":"60-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Finding Non-compliances with Declarative Process Constraints Through Semantic Technologies"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Di Ciccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fajar J.","family":"Ekaputra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Cecconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Ekelhart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elmar","family":"Kiesling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,23]]},"reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP van der Aalst","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99\u2013113 (2009)","journal-title":"Comput. Sci. Res. Dev."},{"key":"6_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326\u2013341. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85758-7_24"},{"issue":"5","key":"6_CR4","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/SW-130107","volume":"5","author":"M Balduini","year":"2014","unstructured":"Balduini, M., et al.: Reality mining on micropost streams. Semant. Web 5(5), 341\u2013356 (2014)","journal-title":"Semant. Web"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF03342739","volume":"5","author":"J Becker","year":"2012","unstructured":"Becker, J., Delfmann, P., Eggert, M., Schwittay, S.: Generalizability and applicability of model-based business process compliance-checking approaches \u2013 a state-of-the-art analysis and research roadmap. Bus. Res. 5(2), 221\u2013247 (2012)","journal-title":"Bus. Res."},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-23059-2_22","volume-title":"Business Process Management","author":"S-M-R Beheshti","year":"2011","unstructured":"Beheshti, S.-M.-R., Benatallah, B., Motahari-Nezhad, H.R., Sakr, S.: A query language for analyzing business processes execution. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 281\u2013297. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_22"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194\u2013211 (2016)","journal-title":"Expert Syst. Appl."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-030-03667-6_4","volume-title":"Knowledge Engineering and Knowledge Management","author":"D Calvanese","year":"2018","unstructured":"Calvanese, D., Kalayci, T.E., Montali, M., Santoso, A., van der Aalst, W.: Conceptual schema transformation in ontology-based data access. In: Faron Zucker, C., Ghidini, C., Napoli, A., Toussaint, Y. (eds.) EKAW 2018. LNCS (LNAI), vol. 11313, pp. 50\u201367. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03667-6_4"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"F Chesani","year":"2009","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 278\u2013295. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00899-3_16"},{"key":"6_CR10","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI, pp. 854\u2013860 (2013)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T.T., Laursen, P.H., Ulrik, K.R.: Declarative process mining for DCR graphs. In: SAC, pp. 759\u2013764. ACM (2017)","DOI":"10.1145\/3019612.3019622"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.is.2018.01.011","volume":"78","author":"C Di Ciccio","year":"2018","unstructured":"Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: On the relevance of a business constraint to an event log. Inf. Syst. 78, 144\u2013161 (2018)","journal-title":"Inf. Syst."},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s13740-014-0038-4","volume":"4","author":"C Di Ciccio","year":"2015","unstructured":"Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-intensive Processes: characteristics, requirements and analysis of contemporary approaches. J. Data Semantics 4(1), 29\u201357 (2015)","journal-title":"J. Data Semantics"},{"key":"6_CR14","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"},{"key":"6_CR15","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., La Rosa, M., 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":"6_CR16","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3233\/SW-140150","volume":"7","author":"E Francesconi","year":"2016","unstructured":"Francesconi, E.: Semantic model for legal resources: annotation and reasoning over normative provisions. Semant. Web 7(3), 255\u2013265 (2016)","journal-title":"Semant. Web"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/978-3-319-49004-5_48","volume-title":"Knowledge Engineering and Knowledge Management","author":"G Governatori","year":"2016","unstructured":"Governatori, G., Hashmi, M., Lam, H.-P., Villata, S., Palmirani, M.: Semantic business process regulatory compliance checking using LegalRuleML. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 746\u2013761. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49004-5_48"},{"key":"6_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-00328-8_2","volume-title":"Business Process Management Workshops","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance for business process models through semantic annotations. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 5\u201317. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00328-8_2"},{"key":"6_CR20","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM, pp. 3\u201312. Australian Computer Society, Inc. (2010)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: ICAIL, pp. 245\u2013246. ACM (2013)","DOI":"10.1145\/2514601.2514638"},{"issue":"3","key":"6_CR22","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10506-017-9215-8","volume":"26","author":"M Hashmi","year":"2018","unstructured":"Hashmi, M., Governatori, G.: Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation. Artif. Intell. Law 26(3), 251\u2013305 (2018)","journal-title":"Artif. Intell. Law"},{"key":"6_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-07950-9_8","volume-title":"Service Research and Innovation","author":"M Hashmi","year":"2014","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for business process compliance. In: Davis, J.G., Demirkan, H., Motahari-Nezhad, H.R. (eds.) ASSRI 2013. LNBIP, vol. 177, pp. 100\u2013116. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07950-9_8"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-29320-7_23","volume-title":"Fundamentals of Software Engineering","author":"T Hildebrandt","year":"2012","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343\u2013350. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29320-7_23"},{"key":"6_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96319-8","volume-title":"Fundamentals of Digital Forensics - Theory, Methods, and Real-Life Applications","author":"J K\u00e4vrestad","year":"2018","unstructured":"K\u00e4vrestad, J.: Fundamentals of Digital Forensics - Theory, Methods, and Real-Life Applications. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96319-8"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Kuzuno, H., Karam, C.: Blockchain explorer: an analytical process and investigation environment for bitcoin. In: eCrime, pp. 9\u201316. IEEE (2017)","DOI":"10.1109\/ECRIME.2017.7945049"},{"key":"6_CR27","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40919-6_1","volume-title":"Data-Driven Process Discovery and Analysis","author":"M Leida","year":"2013","unstructured":"Leida, M., Majeed, B., Colombo, M., Chu, A.: A lightweight RDF data model for business process analysis. In: Cudre-Mauroux, P., Ceravolo, P., Ga\u0161evi\u0107, D. (eds.) SIMPDA 2012. LNBIP, vol. 162, pp. 1\u201323. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40919-6_1"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.is.2013.12.005","volume":"47","author":"M de Leoni","year":"2015","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258\u2013277 (2015)","journal-title":"Inf. Syst."},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.jvlc.2014.12.008","volume":"28","author":"IA Letia","year":"2015","unstructured":"Letia, I.A., Goron, A.: Model checking as support for inspecting compliance to rules in flexible processes. J. Vis. Lang. Comput. 28, 100\u2013121 (2015)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-662-45563-0_19","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"MT G\u00f3mez-L\u00f3pez","year":"2014","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Parody, L., Gasca, R.M., Rinderle-Ma, S.: Prognosing the compliance of declarative business processes using event trace robustness. In: Meersman, R., et al. (eds.) OTM 2014. LNCS, vol. 8841, pp. 327\u2013344. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45563-0_19"},{"issue":"10","key":"6_CR31","doi-asserted-by":"publisher","first-page":"2140","DOI":"10.1109\/TKDE.2017.2720601","volume":"29","author":"A Maaradji","year":"2017","unstructured":"Maaradji, A., Dumas, M., Rosa, M.L., Ostovar, A.: Detecting sudden and gradual drifts in business processes from execution traces. IEEE Trans. Knowl. Data Eng. 29(10), 2140\u20132154 (2017)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"6_CR32","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":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-030-03596-9_12","volume-title":"Service-Oriented Computing","author":"FM Maggi","year":"2018","unstructured":"Maggi, F.M., Marrella, A., Capezzuto, G., Cervantes, A.A.: Explaining non-compliance of business process models through automated planning. In: Pahl, C., Vukovic, M., Yin, J., Yu, Q. (eds.) ICSOC 2018. LNCS, vol. 11236, pp. 181\u2013197. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03596-9_12"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_13"},{"key":"6_CR35","unstructured":"Mannhardt, F., Blinde, D.: Analyzing the trajectories of patients with sepsis using process mining. In: RADAR+EMISA, pp. 72\u201380. CEUR-ws.org (2017)"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Pham, T.A., Le Thanh, N.: An ontology-based approach for business process compliance checking. In: IMCOM, pp. 1\u20136. ACM SIGAPP (2016)","DOI":"10.1145\/2857546.2857603"},{"key":"6_CR37","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":"6_CR38","unstructured":"Thao Ly, L., G\u00f6ser, K., Rinderle-Ma, S., Dadam, P.: Compliance of semantic constraints - a requirements analysis for process management systems. In: GRCIS (2008)"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-13094-6_3","volume-title":"Advanced Information Systems Engineering","author":"LT Ly","year":"2010","unstructured":"Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and verification of instantiable compliance rule graphs in process-aware information systems. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 9\u201323. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13094-6_3"}],"container-title":["Lecture Notes in Business Information Processing","Information Systems Engineering in Responsible Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21297-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T00:06:18Z","timestamp":1716422778000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21297-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030212964","9783030212971"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21297-1_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.caise19.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}