{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:10:40Z","timestamp":1790813440474,"version":"4.1.0"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T00:00:00Z","timestamp":1505865600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s10506-017-9215-8","type":"journal-article","created":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T05:30:28Z","timestamp":1505885428000},"page":"251-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6376-082X","authenticated-orcid":false,"given":"Mustafa","family":"Hashmi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,20]]},"reference":[{"key":"9215_CR1","doi-asserted-by":"crossref","unstructured":"Abdullah NS, Sadiq S, Indulska M (2010) Emerging challenges in information systems research for regulatory compliance management. In: Proceedings of the 22nd international conference on advanced information systems engineering. CAiSE\u201910. Springer, pp 251\u2013265","DOI":"10.1007\/978-3-642-13094-6_21"},{"key":"9215_CR2","doi-asserted-by":"publisher","unstructured":"Allaire M, Governatori G (2014) On the equivalence of defeasible deontic logic and temporal defeasible logic. In: Dam H, Pitt J, Xu Y, Governatori G, Ito T (eds) PRIMA 2014: principles and practice of multi-agent systems, vol 8861. LNCS. Springer, pp 74\u201390. doi: 10.1007\/978-3-319-13191-7_7","DOI":"10.1007\/978-3-319-13191-7_7"},{"issue":"2","key":"9215_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Trans Comput Log 2(2):255\u2013287. doi: 10.1145\/371316.371517","journal-title":"ACM Trans Comput Log"},{"issue":"3","key":"9215_CR4","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab F (2004) REO: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3):329\u2013366","journal-title":"Math Struct Comput Sci"},{"key":"9215_CR5","unstructured":"Awad A (2007) BPMN-Q: a language to query business processes. In: Enterprise modelling and information systems architectures\u2014concepts and applications: proceedings of the 2nd international workshop on enterprise modelling and information systems architectures (EMISA\u201907). St. Goar, Germany, 8\u20139 Oct 2007, pp 115\u2013128"},{"key":"9215_CR6","unstructured":"Awad A (2010) A compliance management framework for business process models. Ph.D. thesis, Hasso Plattner Institute, Potsdam University, Germany"},{"issue":"1","key":"9215_CR7","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad A, Weidlich M, Weske M (2011) Visually specifying compliance rules and explaining their violations for business processes. J Vis Lang Comput 22(1):30\u201355","journal-title":"J Vis Lang Comput"},{"key":"9215_CR8","doi-asserted-by":"crossref","unstructured":"Awad A, Decker G, Weske M (2008) Efficient compliance checking using BPMN-Q and temporal logic. In: BPM. LNCS. Springer, pp 326\u2013341","DOI":"10.1007\/978-3-540-85758-7_24"},{"key":"9215_CR9","doi-asserted-by":"publisher","unstructured":"Awad A, Polyvyanyy A, Weske M (2008) Semantic querying of business process models. In: 12th international IEEE on enterprise distributed object computing conference, 2008. EDOC \u201908, pp 85\u201394. doi: 10.1109\/EDOC.2008.11","DOI":"10.1109\/EDOC.2008.11"},{"key":"9215_CR10","unstructured":"Awad A, Weske M (2009) Visualisation of compliance violations in business process models. In: 5th workshop on business process intelligence, vol 9, pp 182\u2013193"},{"key":"9215_CR11","unstructured":"Bandara W, Miskon S, Fielt E (2011) A systematic, tool-supported method for conducting literature reviews in information systems. In: Virpi T, Joe N, Matti R, Wael S (eds) Proceedings of 19th European conference on information systems. ECIS 2011, Helsinki"},{"key":"9215_CR12","unstructured":"Baral C, Zhao J (2007) Non-monotonic temporal logics for goal specification. In: Proceedings of the 20th international joint conference on artificial intelligence (IJCAI 2007). Morgan Kaufmann Publishers Inc, pp 236\u2013242"},{"key":"9215_CR13","unstructured":"BCBS (2013) Basel III: the liquidity coverage ratio and liquidity risk monitoring tools. http:\/\/www.bis.org\/publ\/bcbs238.pdf"},{"issue":"2","key":"9215_CR14","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.compind.2011.11.003","volume":"63","author":"M Becker","year":"2012","unstructured":"Becker M, Laue R (2012) A comparative survey of business process similarity measures. Comput Ind 63(2):148\u2013167","journal-title":"Comput Ind"},{"issue":"2","key":"9215_CR15","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF03342739","volume":"5","author":"J Becker","year":"2012","unstructured":"Becker J, Delfmann P, Eggert M, Schwittay S (2012) Generalizability and applicability of model-based business process compliance-checking approaches\u2014a state-of-the-art analysis and research roadmap. BuR Bus Res J 5(2):221\u2013247","journal-title":"BuR Bus Res J"},{"key":"9215_CR16","unstructured":"Bonatti PA, Shahmehri N, Duma C, Olmedilla D, Nejdl W, Baldoni M, Baroglio C, Martelli A, Coraggio P, Antoniou G, Peer J, Fuchs NE (2004) Rule-based policy specification: state of the art and future work. REWERSE Project Report-i2-D1. Report, Universit\u00e1 di Napoli Fedrecio II"},{"key":"9215_CR17","unstructured":"Cabannilas C, Resinas M, Ruiz-Cortes A (2010) Hints on how to face business process compliance. In: III Taller de Procesos de Negocio e Ingenieria de Servicios PNIS10 in JISBD10, vol 4, pp 26\u201332"},{"key":"9215_CR18","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.knosys.2011.06.025","volume":"29","author":"M Croitoru","year":"2012","unstructured":"Croitoru M, Oren N, Miles S, Luck M (2012) Graphical norms via conceptual graphs. Knowl Based Syst 29:31\u201343","journal-title":"Knowl Based Syst"},{"key":"9215_CR19","doi-asserted-by":"crossref","unstructured":"Daniel F, Casati F, D\u2019Andrea V, Mulo E, Zdun U, Dustdar S, Strauch S, Schumm D, Leymann F, Sebahi S, de Marchi F, Hacid MS (2009) Business compliance governance in service-oriented architectures. In: International conference on advanced information networking and applications, 2009. AINA \u201909, pp 113 \u2013120","DOI":"10.1109\/AINA.2009.112"},{"key":"9215_CR20","doi-asserted-by":"crossref","unstructured":"Dwyer M, Avrunin G, Corbett J (1999) Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 international conference on software engineering, 1999, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"9215_CR21","unstructured":"El Kharbili M (2012) business process regulatory compliance management solution frameworks: a comparative evaluation. In: APCCM 2012, CRPIT 130, pp 23\u201332"},{"key":"9215_CR22","unstructured":"Elgammal AFSA (2012) Towards a comprehensive framework for business process compliance. Ph.D. thesis, Tiburg University. https:\/\/ideas.repec.org\/p\/tiu\/tiutis\/a30c4513-4b19-44f1-beb0-00b3c2d6f15e.html"},{"key":"9215_CR23","doi-asserted-by":"crossref","unstructured":"Elgammal A, Turetken O, van den Heuvel WJ, Papazoglou M (2011) On the formal specification of regulatory compliance: a comparative analysis. In: Proceedings of ICSOC\u201910, pp 27\u201338","DOI":"10.1007\/978-3-642-19394-1_4"},{"issue":"1","key":"9215_CR24","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10270-014-0395-3","volume":"15","author":"A Elgammal","year":"2014","unstructured":"Elgammal A, Turetken O, Heuvel WJ, Papazoglou M (2014) Formalizing and applying compliance patterns for business process compliance. Softw Syst Model 15(1):119\u2013146. doi: 10.1007\/s10270-014-0395-3","journal-title":"Softw Syst Model"},{"key":"9215_CR25","doi-asserted-by":"crossref","unstructured":"Elgammal A, T\u00fcretken O, van den Heuvel WJ, Papazoglou MP (2010) Root-cause analysis of design-time compliance violations on the basis of property patterns. In: ICSOC, pp 17\u201331","DOI":"10.1007\/978-3-642-17358-5_2"},{"key":"9215_CR26","unstructured":"FATF (2017) The FATF recommendations: international standards on combating money laundering and the financing of terrorism and proliferation. http:\/\/www.fatf-gafi.org\/publications\/fatfrecommendations\/documents\/fatf-recommendations.html"},{"key":"9215_CR27","unstructured":"Figl K, Mandling J, Strembeck M (2009) Towards a usability assessment of process modelling languages. In: Markus N, Rump F, Jan M, Nick G (eds) Geschftsprozessmanagement mit Ereignisgesteuerten Prozessketten (EPK 2009), Ceur workshop proceedings, vol 554, pp 138\u2013156 http:\/\/ceur-ws.org\/Vol-554\/epk2009-paper09.pdf"},{"key":"9215_CR28","unstructured":"Fongon P, Grillo K (2004) Corporate implications of Sarbanes Oxley Act: a public policy. http:\/\/www.global-trade.law.com\/ITRN711"},{"key":"9215_CR29","doi-asserted-by":"crossref","unstructured":"Ghose A, Koliadis G (2007) Auditing business process compliance. In: Kr\u00e4mer B, Lin KJ, Narasimhan P (eds) Service-oriented computing (ICSOC 2007), vol 4749. LNCS. Springer, pp 169\u2013180","DOI":"10.1007\/978-3-540-74974-5_14"},{"key":"9215_CR30","unstructured":"Giblin C, Liu AY, M\u00fcller S, Pfitzmann B, Zhou X (2005) Regulations expressed as logical models (REALM). In: Proceeding of the 18th annual conference on legal knowledge and information systems (JURIX 2005). IOS Press, pp 37\u201348"},{"key":"9215_CR31","unstructured":"Goedertier S, Vanthienen J (2006) Compliant and flexible business processes with business rules. In: BPMDS, vol 236. CEUR workshop proceedings, CEUR-WS.org"},{"key":"9215_CR32","doi-asserted-by":"crossref","unstructured":"Goedertier S, Vanthienen J (2006) Designing compliant business processes with obligations and permissions. In: Eder J, Dustdar S (eds) Business process management workshops 2006. LNCS 4103. Springer, pp 5\u201314","DOI":"10.1007\/11837862_2"},{"key":"9215_CR33","doi-asserted-by":"crossref","unstructured":"Governatori G (2015) Thou shalt is not you will. In: Atkinson K (ed) Proceedings of the fifteenth international conference on artificial intelligence and law. ACM, New York","DOI":"10.1145\/2746090.2746105"},{"issue":"2\u20133","key":"9215_CR34","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori G (2005) Representing business contracts in RuleML. Int J Cooper Inf Syst 14(2\u20133):181\u2013216","journal-title":"Int J Cooper Inf Syst"},{"key":"9215_CR35","first-page":"193","volume":"4","author":"G Governatori","year":"2006","unstructured":"Governatori G, Rotolo A (2006) Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligation. Australas J Log 4:193\u2013215","journal-title":"Australas J Log"},{"key":"9215_CR36","doi-asserted-by":"crossref","unstructured":"Governatori G, Hashmi M (2015) No time for compliance. In: Proceedings of 19th IEEE the enterprise computing conference (EDOC\u201915)","DOI":"10.1109\/EDOC.2015.12"},{"key":"9215_CR37","doi-asserted-by":"crossref","unstructured":"Governatori G, Milosevic Z, Sadiq S (2006) Compliance checking between business processes and business contracts. In: 10th international enterprise distributed object computing conference (EDOC 2006). IEEE Computing Society, pp 221\u2013232","DOI":"10.1109\/EDOC.2006.22"},{"key":"9215_CR38","unstructured":"Governatori G, Rotolo A (2010) A conceptually rich model of business process compliance. In: Proceedings of APCCM \u201910, vol 110, pp 3\u201312"},{"key":"9215_CR39","doi-asserted-by":"publisher","unstructured":"Governatori G, Sadiq S (2009) The journey to business process compliance. In: Cardoso J, van der Aalst W (ed) Handbook of research on business process management, Chap 20. IGI Global, pp 426\u2013454. doi: 10.4018\/978-1-60566-288-6.ch020","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"issue":"3","key":"9215_CR40","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10796-015-9558-1","volume":"18","author":"M Hashmi","year":"2016","unstructured":"Hashmi M, Governatori G, Wynn MT (2016) Normative requirements for regulatory compliance: an abstract formal framework. Inf Syst Frontiers 18(3):429\u2013455. doi: 10.1007\/s10796-015-9558-1","journal-title":"Inf Syst Frontiers"},{"key":"9215_CR41","doi-asserted-by":"crossref","unstructured":"Hashmi M, Governatori G, Wynn MT (2012) Business process data compliance. In: Proceedings of 6th international symposium. RuleML 2012, Montpellier, pp 32\u201346","DOI":"10.1007\/978-3-642-32689-9_4"},{"key":"9215_CR42","unstructured":"Hashmi M, Governatori G, Wynn MT (2013) Normative requirements for business process compliance. In: Proceedings of 3rd symposium (ASSRI\u201913) on service research and innovation, Sydney, pp 100\u2013116"},{"key":"9215_CR43","doi-asserted-by":"crossref","unstructured":"Hashmi M, Governatori G, Wynn MT (2014) Modeling obligations with event-calculus. In: Proceedings of 8th international symposium. RuleML 2014, Prague,, pp 296\u2013310","DOI":"10.1007\/978-3-319-09870-8_22"},{"key":"9215_CR44","doi-asserted-by":"crossref","unstructured":"Herrestad H (1991) Norms and formalization. In: Proceedings of ICAIL 1991, pp 175\u2013184","DOI":"10.1145\/112646.112667"},{"key":"9215_CR45","doi-asserted-by":"crossref","unstructured":"Hinge K, Ghose A, Koliadis G (2009) Process SEER: a tool for semantic effect annotation of business process models. In: EDOC \u201909. IEEE international, pp 54\u201363","DOI":"10.1109\/EDOC.2009.24"},{"key":"9215_CR46","unstructured":"HIPAA TUG (1996) The US Health Insurance Portability and Accountability Act of 1996"},{"key":"9215_CR47","unstructured":"IFRS (2014) IFRS 7 international financial reporting standards: financial instruments disclosures. http:\/\/www.ifrs.org\/IFRSs\/Pages\/IFRS.aspx"},{"key":"9215_CR48","unstructured":"Ingolfo S, Jureta I, Siena A, Perini A, Susi A (2014) Nmos 3: legal compliance of roles and requirements. In: Yu E, Dobbie G, Jarke M, Purao S (eds) Conceptual modeling, vol 8824. Lecture Notes in Computer Science. Springer, pp 275\u2013288"},{"key":"9215_CR49","unstructured":"Johansson LO, W\u00e4rja M, Carlsson S (2012) An evaluation of business process model techniques, using Moody\u2019s quality criterion for a good diagram. In: BIR12, vol 963. CEUR workshop proceedings, CEUR-WS.org"},{"key":"9215_CR50","unstructured":"Karagiannis D (2008) A business process-based modeling extension for regulatory compliance. In: Multikonferenz Wirtschaftsinformatik"},{"key":"9215_CR51","doi-asserted-by":"publisher","unstructured":"Ka\u017amierczak P, Pedersen T, \u00c5gotnes T (2012) NORMC: a norm compliance temporal logic model checker. In: STAIRS 2012 - Proceedings of the sixth starting AI researchers\u2019 symposium, Montpellier, France, 27\u201328 August 2012, vol 241. IOS Press, pp 168\u2013179. doi: 10.3233\/978-1-61499-096-3-168","DOI":"10.3233\/978-1-61499-096-3-168"},{"key":"9215_CR52","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-540-72035-5_7","volume-title":"Business information systems","author":"R Lu","year":"2007","unstructured":"Lu R, Sadiq S (2007) A survey of comparative business process modeling approaches. In: Abramowicz W (ed) Business information systems, vol 4439. LNCS. Springer, Heidelberg, pp 82\u201394"},{"key":"9215_CR53","unstructured":"Lu R, Sadiq S, Governatori G (2007) Compliance aware business process design. In: 3rd international workshop on business process design (BPD\u201907). Springer, pp 120\u2013131"},{"key":"9215_CR54","doi-asserted-by":"crossref","unstructured":"Ly LT, Knuplesch D, Rinderle-Ma S, Goeser K, Reichert M, Dadam P (2010) SeaFlows toolset\u2014compliance verification made easy. In: CAiSE\u201910 Demos","DOI":"10.1007\/978-3-642-17722-4_6"},{"key":"9215_CR55","doi-asserted-by":"crossref","unstructured":"Ly LT, Maggi FM, Montali M, Rinderle S, van der Aalst W (2013) A framework for the systematic comparison and evaluation of compliance monitoring approaches. In: Proceeding of EDOC","DOI":"10.1109\/EDOC.2013.11"},{"key":"9215_CR56","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-13094-6_3","volume-title":"Design and verification of instantiable compliance rule graphs in process-aware information systems","author":"L Ly","year":"2010","unstructured":"Ly L, Rinderle-Ma S, Dadam P (2010) Design and verification of instantiable compliance rule graphs in process-aware information systems, vol 6051. Springer, Berlin, pp 9\u201323. doi: 10.1007\/978-3-642-13094-6_3"},{"issue":"2","key":"9215_CR57","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10796-009-9185-9","volume":"14","author":"LT Ly","year":"2012","unstructured":"Ly LT, Rinderle-Ma S, G\u00f6ser K, Dadam P (2012) On enabling integrated process compliance with semantic constraints in process management systems. Inf Syst Frontiers 14(2):195\u2013219","journal-title":"Inf Syst Frontiers"},{"key":"9215_CR58","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.02.007","author":"LT Ly","year":"2015","unstructured":"Ly LT, Maggi FM, Montali M, Rinderle S, van der Aalst W (2015) Compliance monitoring in business processes: functionalities, application, and tool-support. Inf Syst. doi: 10.1016\/j.is.2015.02.007","journal-title":"Inf Syst"},{"key":"9215_CR59","doi-asserted-by":"crossref","unstructured":"Ly L, Rinderle-Ma S, Knuplesch D, Dadam P (2011) Monitoring business process compliance using compliance rule graphs. In: Meersman R, Dillon T, Herrero P, Kumar A, Reichert M, Qing L, Ooi BC, Damiani E, Schmidt D, White J, Hauswirth M, Hitzler P, Mohania M (eds) On the move to meaningful internet systems: OTM 2011, vol 7044. LNCS. Springer, Berlin, pp 82\u201399","DOI":"10.1007\/978-3-642-25109-2_7"},{"key":"9215_CR60","doi-asserted-by":"crossref","unstructured":"Maggi F, Montali M, Westergaard M, van der Aalst W (2011) Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: BPM. LNCS 6896. Springer, pp 132\u2013147","DOI":"10.1007\/978-3-642-23059-2_13"},{"key":"9215_CR61","doi-asserted-by":"crossref","unstructured":"Maggi F, Westergaard M, Montali M, van der Aalst W (2011) Runtime verification of LTL-based declarative process models. In: Proceedings of RV. LNCS. Springer","DOI":"10.1007\/978-3-642-29860-8_11"},{"issue":"4","key":"9215_CR62","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson D, van der Torre L (2003) Permission from an input\/output perspective. J Philos Log 32(4):391\u2013416","journal-title":"J Philos Log"},{"key":"9215_CR63","unstructured":"MASTER (2008) Managing assurance, security, and trust for services. FP7-ICT integrated project for secure, dependable, and trusted infrastructures"},{"key":"9215_CR64","unstructured":"McIntyre SR (2008) Integrated governance, risk and compliance: improve performance and enhance productivity in federal agencies. Technical report, PricewaterhouseCoopers"},{"issue":"1","key":"9215_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1824795.1824799","volume":"43","author":"H Mili","year":"2010","unstructured":"Mili H, Tremblay G, Jaoude GB, Lefebvre E, Elabed L, Boussaidi GE (2010) Business process modeling languages: sorting through the alphabet soup. ACM Comput Surv 43(1):1\u201356. doi: 10.1145\/1824795.1824799","journal-title":"ACM Comput Surv"},{"key":"9215_CR66","series-title":"LNBIP","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14538-4","volume-title":"Specification and verification of declarative open interaction models: a logic-based approach","author":"M Montali","year":"2010","unstructured":"Montali M (2010) Specification and verification of declarative open interaction models: a logic-based approach, vol 56. LNBIP. Springer, Berlin"},{"issue":"1","key":"9215_CR67","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali M, Pesic M, van der Aalst WMP, Chesani F, Mello P, Storari S (2010) Declarative specification and verification of service choreographiess. ACM Trans Web 4(1):3:1\u20133:62","journal-title":"ACM Trans Web"},{"key":"9215_CR68","unstructured":"Olivieri F (2014) Compliance by design. Synthesis of business processes by declarative specifications. Ph.D., Dipartimento di Informatica, Universit\u00e0 digli Studi di Verona, Italy and Institute for Integrated and Intelligent Systems, Griffith University, Australia"},{"key":"9215_CR69","doi-asserted-by":"crossref","unstructured":"Otto P, Anton A (2007) Addressing Legal requirements in requirements engineering. In: 15th IEEE international on requirements engineering conference, 2007. RE \u201907, pp 5\u201314","DOI":"10.1109\/RE.2007.65"},{"key":"9215_CR70","doi-asserted-by":"crossref","unstructured":"Palmirani M, Governatori G, Contissa G (2011) Modelling temporal legal rules. In: Proceedings of the 13th international conference on artificial intelligence and law (ICAIL 2011). ACM Press","DOI":"10.1145\/2018358.2018378"},{"key":"9215_CR71","doi-asserted-by":"crossref","unstructured":"Pesic M, Schonenberg H, van der Aalst W (2007) DECLARE: full support for loosely-structured processes. In: Proceedings of 11th IEEE international conference on enterprise distributed object computing (EDOC\u201907), pp 287\u2013287","DOI":"10.1109\/EDOC.2007.14"},{"key":"9215_CR72","doi-asserted-by":"crossref","unstructured":"Pesic M, van der Aalst W (2006) A declarative approach for flexible business processes management. In: BPM workshops, vol 4103. LNCS. Springer, pp 169\u2013180","DOI":"10.1007\/11837862_18"},{"key":"9215_CR73","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-28115-0_43","volume-title":"Business process management workshops","author":"E Ramezani","year":"2012","unstructured":"Ramezani E, Fahland D, van der Werf J, Mattheis P (2012) Separating compliance management and business process management. In: Daniel F, Barkaoui K, Dustdar S (eds) Business process management workshops, vol 100. LNBIP. Springer, Berlin, pp 459\u2013464. doi: 10.1007\/978-3-642-28115-0_43"},{"key":"9215_CR74","doi-asserted-by":"crossref","unstructured":"Ramezani E, Fahland D, van der Aalst W (2012) Where did i misbehave? Diagnostic information in compliance checking. In: Proceedings of business process management, pp 262\u2013278","DOI":"10.1007\/978-3-642-32885-5_21"},{"key":"9215_CR75","unstructured":"Ramezani E, Fahland D, van Dongen BF, van der Aalst W (2013) Diagnostic information for compliance checking of temporal compliance requirements. In: CAiSE, pp 304\u2013320"},{"key":"9215_CR76","doi-asserted-by":"crossref","unstructured":"Rieke R, Repp J, Zhdanova M, Eichler J (2014) Monitoring security compliance of critical processes. In: 2014 22nd Euromicro international conference on parallel, distributed and network-based processing (PDP), pp 552\u2013560","DOI":"10.1109\/PDP.2014.106"},{"key":"9215_CR77","series-title":"International handbooks on information systems","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-45103-4_11","volume-title":"Handbook of business process management","author":"S Sadiq","year":"2015","unstructured":"Sadiq S, Governatori G (2015) Managing regulatory compliance in business processes. In: vom Brocke J, Rosemann M (eds) Handbook of business process management, vol 2, 2nd edn. International handbooks on information systems. Springer, Berlin, pp 265\u2013288","edition":"2"},{"key":"9215_CR78","doi-asserted-by":"crossref","unstructured":"Sadiq S, Governatori G, Namiri K (2007) Modeling control objectives for business process compliance. In: Proceedings of BPM\u201907. Springer, pp 149\u2013164","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"9215_CR79","volume-title":"Legal reasoning: a cognitive approach to the law","author":"G Sartor","year":"2005","unstructured":"Sartor G (2005) Legal reasoning: a cognitive approach to the law. Springer, Berlin"},{"key":"9215_CR80","unstructured":"SCBS (2004) BASEL II accord - International convergence of capital measurement and capital standards: a revised framework. https:\/\/www.federalreserve.gov\/boarddocs\/press\/bcreg\/2004\/20040626\/attachment.pdf"},{"key":"9215_CR81","doi-asserted-by":"crossref","unstructured":"Schumm D, Turetken O, Kokash N, Elgammal A, Leymann F, Heuvel WJVD (2010) Business process compliance through reusable units of compliant processes. In: Proceedings of international conference on current trends in web engineering","DOI":"10.1007\/978-3-642-16985-4_29"},{"issue":"3","key":"9215_CR82","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.2012.45","volume":"29","author":"O T\u00fcretken","year":"2012","unstructured":"T\u00fcretken O, Elgammal A, van den Heuvel WJ, Papazoglou M (2012) Capturing compliance requirements: a pattern-based approach. Softw IEEE 29(3):28\u201336. doi: 10.1109\/MS.2012.45","journal-title":"Softw IEEE"},{"key":"9215_CR83","unstructured":"T\u00fcretken O, Elgammal A, van den Heuvel WJ, Papazoglou M (2011) Enforcing compliance on business processes through the use of patterns. In: Proceeding of European conference on information system. http:\/\/aisel.aisnet.org\/ecis2011\/5"},{"key":"9215_CR84","doi-asserted-by":"crossref","unstructured":"Turki S, Bjekovic-Obradovic M (2010) Compliance in e-government service engineering: state-of-the-art. In: Exploring services science. LNBIP. Springer, pp 270\u2013275","DOI":"10.1007\/978-3-642-14319-9_23"},{"key":"9215_CR85","unstructured":"US-Government (2002) Public Company Accounting Reforms and Investor Protection Act (Sarbanes-Oxley Act). Public Law 107-204, 116 Stat. 745"},{"key":"9215_CR86","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W Aalst van der","year":"2009","unstructured":"van der Aalst W, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23:99\u2013113","journal-title":"Comput Sci Res Dev"},{"key":"9215_CR87","unstructured":"van der Aalst W, ter Hofstede A, Kiepuszewski B, Barros A (2002) Workflow patterns. QUT Technical report. FIT-TR-2002-02, Queensland University of Technology, Brisbane, Australia. http:\/\/www.workflowpatterns.com\/documentation\/documents\/wfs-pat-2002.pdf"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-017-9215-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-017-9215-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-017-9215-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T14:38:37Z","timestamp":1570113517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-017-9215-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,20]]},"references-count":87,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["9215"],"URL":"https:\/\/doi.org\/10.1007\/s10506-017-9215-8","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,20]]}}}