{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:49:32Z","timestamp":1764784172774,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030116408"},{"type":"electronic","value":"9783030116415"}],"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-11641-5_39","type":"book-chapter","created":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T16:16:27Z","timestamp":1548692187000},"page":"494-506","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Compliance Checking for Decision-Aware Process Models"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Haarmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kimon","family":"Batoulis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,29]]},"reference":[{"key":"39_CR1","unstructured":"Awad, A.: BPMN-Q: a language to query business processes. In: Reichert, M., Strecker, S., Turowski, K. (eds.) Enterprise Modelling and Information Systems Architectures - Concepts and Applications. Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA 2007), St. Goar, Germany, 8\u20139 October 2007. LNI, vol. P-119, pp. 115\u2013128. GI (2007). http:\/\/subs.emis.de\/LNI\/Proceedings\/Proceedings119\/article1957.html"},{"key":"39_CR2","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"},{"key":"39_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-642-10383-4_37","volume-title":"Service-Oriented Computing","author":"A Awad","year":"2009","unstructured":"Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC\/ServiceWave -2009. LNCS, vol. 5900, pp. 500\u2013515. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10383-4_37"},{"key":"39_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"39_CR5","unstructured":"Baldoni, R., Coppa, E., D\u2019Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. CoRR (2016). http:\/\/arxiv.org\/abs\/1610.00502"},{"key":"39_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-319-69904-2_31","volume-title":"Conceptual Modeling","author":"K Batoulis","year":"2017","unstructured":"Batoulis, K., Haarmann, S., Weske, M.: Various notions of soundness for\u00a0decision-aware business processes. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 403\u2013418. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69904-2_31"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-319-19069-3_22","volume-title":"Advanced Information Systems Engineering","author":"K Batoulis","year":"2015","unstructured":"Batoulis, K., Meyer, A., Bazhenova, E., Decker, G., Weske, M.: Extracting decision logic from process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 349\u2013366. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_22"},{"key":"39_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-65015-9_7","volume-title":"Business Process Management Forum","author":"K Batoulis","year":"2017","unstructured":"Batoulis, K., Weske, M.: Soundness of decision-aware business processes. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNBIP, vol. 297, pp. 106\u2013124. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65015-9_7"},{"key":"39_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-319-93931-5_17","volume-title":"Business Information Systems","author":"K Batoulis","year":"2018","unstructured":"Batoulis, K., Weske, M.: Disambiguation of DMN decision tables. In: Abramowicz, W., Paschke, A. (eds.) BIS 2018. LNBIP, vol. 320, pp. 236\u2013249. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-93931-5_17"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured petri nets-exploiting strongly connected components. DAIMI Rep. Ser. 26(519) (1997)","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: Sethi, R. (ed.) Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, 19\u201322 January 1992, pp. 342\u2013354. ACM Press (1992)","DOI":"10.1145\/143165.143235"},{"key":"39_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"EM Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001). http:\/\/books.google.de\/books?id=Nmc4wEaLXFEC"},{"issue":"12","key":"39_CR13","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"39_CR14","unstructured":"Haarmann, S.: Decision-aware compliance checking. Master\u2019s thesis, University of Potsdam, March 2018. https:\/\/owncloud.hpi.de\/index.php\/s\/GvZ3AJjdo6MJUr8"},{"key":"39_CR15","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, 79\u2013133 (2018)","journal-title":"Knowl. Inf. Syst."},{"key":"39_CR16","unstructured":"Janssens, L., Bazhenova, E., Smedt, J.D., Vanthienen, J., Denecker, M.: Consistent integration of decision (DMN) and process (BPMN) models. In: Espa\u00f1a, S., Ivanovic, M., Savic, M. (eds.) Proceedings of the CAiSE 2016 Forum, at the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana, Slovenia, 13\u201317 June 2016. CEUR Workshop Proceedings, vol. 1612, pp. 121\u2013128. CEUR-WS.org (2016). http:\/\/ceur-ws.org\/Vol-1612\/paper16.pdf"},{"key":"39_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112"},{"key":"39_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-16373-9_24","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"D Knuplesch","year":"2010","unstructured":"Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 332\u2013346. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16373-9_24"},{"issue":"3","key":"39_CR19","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1007\/s10270-016-0526-0","volume":"16","author":"D Knuplesch","year":"2017","unstructured":"Knuplesch, D., Reichert, M.: A visual language for modeling multiple perspectives of business process compliance rules. Softw. Syst. Model. 16(3), 715\u2013736 (2017)","journal-title":"Softw. Syst. Model."},{"key":"39_CR20","unstructured":"Knuplesch, D., Reichert, M., Ly, L.T., Kumar, A., Rinderle-Ma, S.: On the formal semantics of the extended compliance rule graph. Technical report, Ulm University (2013). http:\/\/dbis.eprints.uni-ulm.de\/1147\/1\/TR_UIB_2013_05.pdf"},{"key":"39_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44960-9","volume-title":"Behavioural Models - From Modelling Finite Automata to Analysing Business Processes","author":"M Kunze","year":"2016","unstructured":"Kunze, M., Weske, M.: Behavioural Models - From Modelling Finite Automata to Analysing Business Processes. Springer, Switzerland (2016). https:\/\/doi.org\/10.1007\/978-3-319-44960-9"},{"issue":"4","key":"39_CR22","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/21.286380","volume":"24","author":"S Lee","year":"1994","unstructured":"Lee, S., O\u2019Keefe, R.M.: Developing a strategy for expert system verification and validation. IEEE Trans. Syst. Man Cybern. 24(4), 643\u2013655 (1994)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"39_CR23","unstructured":"Ly, L.T.: SeaFlows - a compliance checking framework for supporting the process lifecycle. Ph.D. thesis, University of Ulm (2013). http:\/\/vts.uni-ulm.de\/docs\/2013\/8664\/vts_8664_12857.pdf"},{"key":"39_CR24","unstructured":"OMG: Business process model and notation (BPMN), v2.0, January 2011. http:\/\/www.omg.org\/spec\/BPMN\/2.0"},{"key":"39_CR25","unstructured":"OMG: Decision model and notation (DMN), v1.1, May 2016. http:\/\/www.omg.org\/spec\/DMN\/1.1"},{"key":"39_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30409-5"},{"key":"39_CR27","unstructured":"Wang, Z., Wang, J., Wen, L., Luo, G.: Formally modeling and analyzing data-centric workflow using WFCP-net and ASK-CTL. In: Zhang, R., Cordeiro, J., Li, X., Zhang, Z., Zhang, J. (eds.) ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Beijing, China, 8\u201311 June 2011, vol. 3, pp. 139\u2013144. SciTePress (2011)"},{"key":"39_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2012","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28616-2","edition":"2"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11641-5_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T01:08:45Z","timestamp":1706404125000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-11641-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030116408","9783030116415"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11641-5_39","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 January 2019","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":"Sydney, NSW","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/bpm2018.web.cse.unsw.edu.au\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"113","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}