{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T11:54:07Z","timestamp":1777290847446,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642451027","type":"print"},{"value":"9783642451034","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T00:00:00Z","timestamp":1397088000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T00:00:00Z","timestamp":1397088000000},"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":[[2015]]},"DOI":"10.1007\/978-3-642-45103-4_11","type":"book-chapter","created":{"date-parts":[[2014,8,28]],"date-time":"2014-08-28T15:04:58Z","timestamp":1409238298000},"page":"265-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["Managing Regulatory Compliance in Business Processes"],"prefix":"10.1007","author":[{"given":"Shazia","family":"Sadiq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,10]]},"reference":[{"key":"11_CR1","unstructured":"Abdullah NS, Indulska M, Sadiq S (2009) A study of compliance management in information systems research. In: The 17th European conference on information systems. European conference on information systems, Verona, Italy, pp 1\u201310"},{"key":"#cr-split#-11_CR2.1","unstructured":"Abdullah NS, Indulska M, Sadiq S (2010).Emerging challenges in information systems research for regulatory compliance management. In: Pernici B"},{"key":"#cr-split#-11_CR2.2","unstructured":"(ed) Advanced information systems engineering: Proceedings of the 22nd international conference, CAiSE 2010. 22nd international conference on advanced information systems engineering, Hammamet, 7-9 June 2010, pp 251-265"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Abdullah NS, Indulska M, Sadiq S (2012) A compliance management ontology: developing shared understanding through models. In: Advanced information systems engineering, Springer, Berlin\/Heidelberg, pp 429\u2013444","DOI":"10.1007\/978-3-642-31095-9_28"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Agrawal R, Johnson C, Kiernan J, Leymann F (2006) Taming compliance with sarbanes-oxley internal controls using database technology. In: Proceedings of the 22nd international conference on data engineering, IEEE Computer Society, Atlanta, Georgia, USA","DOI":"10.1109\/ICDE.2006.155"},{"issue":"2\u20134","key":"11_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M Alberti","year":"2006","unstructured":"Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2006) Compliance verification of agent interaction: a logic based tool. Appl Artif Intell 20(2\u20134):133\u2013157","journal-title":"Appl Artif Intell"},{"issue":"2","key":"11_CR6","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 de- feasible logic. ACM Trans Comput Log 2(2):255\u2013287","journal-title":"ACM Trans Comput Log"},{"key":"11_CR7","unstructured":"ASX (2006) Australian securities exchange principles of good governance, recommendation 7.1, Nov 2006. www.asx.gov.au. Accessed 1 June 2008)"},{"key":"11_CR8","unstructured":"AUSTRAC (2006) Australian transaction reports and analysis centre supervisory framework. www.austrac.gov.au\/files\/supervisory_framework.pdf. Accessed 1 June 2008"},{"key":"11_CR9","unstructured":"BPM Forum (2006) CEE: the future. Building the compliance enabled enterprise. Report produced by global fluency in partnership with: AXS-One, chief executive magazine and IT compliance institute"},{"key":"11_CR11","unstructured":"Caldwell F, Eid T (2008) Magic quadrant for enterprise governance, risk and compliance platforms. ID. G00158295, Gartner Research, June 2008"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of philosophical logic","author":"J Carmo","year":"2002","unstructured":"Carmo J, Jones AJ (2002) Deontic logic and contrary to duties. In: Gabbay D, Guenther F (eds) Handbook of philosophical logic, vol 8, 2nd edn. Springer, Dordrecht, pp 265\u2013343","edition":"2"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Cheng R, Sadiq S, Indulska M (2011) Framework for business process and rule integration: a case of BPMN and SBVR. In: BIS 2011, Poznan, Poland, pp 13\u201324","DOI":"10.1007\/978-3-642-21863-7_2"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Conforti R, Fortino G, Rosa ML, ter Hofstede AHM (2011) A history-aware real-time risk detection in business processes. In: Meersman R et al (eds) Proceedings of the on the move to meaningful internet systems: OTM 2011, Part I, Lecture Notes in Computer Science, vol 7044. Springer, pp 100\u2013118, 2011","DOI":"10.1007\/978-3-642-25109-2_8"},{"key":"11_CR15","unstructured":"COSO \u2013The Committee of Sponsoring Organizations of the Treadway Commission (1994) Internal control \u2013 integrated framework. Committee of Sponsoring Organizations of the Treadway Commission, New York. www.coso.org"},{"issue":"12","key":"11_CR16","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/TSE.2005.140","volume":"31","author":"N Desai","year":"2005","unstructured":"Desai N, Mallya AU, Chopra AK, Singh MP (2005) Interaction protocols as design abstractions for business processes. IEEE Trans Softw Eng 31(12):1015\u20131027","journal-title":"IEEE Trans Softw Eng"},{"key":"11_CR17","unstructured":"Desai N, Nanjangud NC, Singh MP (2008) Checking correctness of business contracts via commitments. In: Padgham L, Parkes DC, M\u00fcller J, Parsons S (eds) Proceedings of 7th international conference on autonomous agents and multiagent systems (AAMAS2008), Estoril, 12\u201316 May 2008"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218843012400023","volume":"21","author":"A Elgammal","year":"2012","unstructured":"Elgammal A, T\u00fcretken O, van den Heuvel W-J (2012) Using patterns for the analysis and resolution of compliance violations. Int J Coop Info Syst 21(1):31\u201354","journal-title":"Int J Coop Info Syst"},{"issue":"2\u20133","key":"11_CR19","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"ADH Farrell","year":"2005","unstructured":"Farrell ADH, Sergot MJ, Sall\u00e9 M, Bartolini C (2005) Using the event-calculus for tracking the normative state in contracts. Int J Coop Info Syst 14(2\u20133):99\u2013129","journal-title":"Int J Coop Info Syst"},{"key":"11_CR20","unstructured":"Giblin C, Muller S, Pfitzmann B (2006) From regulatory policies to event monitoring rules: towards model driven compliance automation. IBM research report. Zurich Research Laboratory, Zurich, Switzerland"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Goedertier S, Vanthienen J (2006) Designing compliant business processes with obligations and permissions. In Eder J, Dustdar S et al (eds) Proceedings of workshop on business process design, LNCS, vol 4103, Springer, Vienna, pp 5\u201314","DOI":"10.1007\/11837862_2"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Gordon TF, Governatori G, Rotolo A (2009) Rules and norms: requirements for rule inter- change languages in the legal domain. In: Governatori G, Hall J, Paschke A (eds) Rule representation, interchange and reasoning on the web (RuleML 2009), LNCS, vol 5858, Springer, pp 282\u2013296","DOI":"10.1007\/978-3-642-04985-9_26"},{"issue":"2\u20133","key":"11_CR23","doi-asserted-by":"publisher","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 Coop Info Syst 14(2\u20133):181\u2013216","journal-title":"Int J Coop Info Syst"},{"issue":"4","key":"11_CR24","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori G, Milosevic Z (2006) A formal analysis of a business contract language. Int J Coop Info Syst 15(4):659\u2013685","journal-title":"Int J Coop Info Syst"},{"key":"11_CR25","first-page":"193","volume":"4","author":"G Governatori","year":"2006","unstructured":"Governatori G, Rotolo A (2006) Logic of violations: a gentzen system for reasoning on contrary- to-duty obligations. Austr J Logic 4:193\u2013215","journal-title":"Austr J Logic"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Governatori G, Rotolo A (2008) An algorithm for business process compliance. In: Francesconi E, Sartor G, Tiscornia D (eds) Legal knowledge and information systems, IOS Press, Florence Italy & Brisbane, Australia, pp 186\u2013191","DOI":"10.3233\/978-1-58603-952-3-186"},{"key":"11_CR27","unstructured":"Governatori G, Rotolo A (2010) A Conceptually Rich Model of Business Process Compliance. In Link S, Ghose A (eds) 7th Asia-Pacific conference on conceptual modelling (APCCM 2010), ACS, Florence Italy & Brisbane, Australia, pp 3\u201312"},{"key":"11_CR28","first-page":"426","volume-title":"Handbook of research on BPM","author":"G Governatori","year":"2009","unstructured":"Governatori G, Sadiq S (2009) The journey to business process compliance. In: Cardoso J, van der Aalst W (eds) Handbook of research on BPM. IGI Global, Hershey, pp 426\u2013454"},{"key":"11_CR29","unstructured":"Governatori G, Shek S (2012) Rule based business process compliance. In: Proceedings of the RuleML2012@ECAI challenge, CEUR workshop proceedings 874, Montpellier, France, article 5"},{"key":"11_CR32","unstructured":"Governatori G, Hoffmann J, Sadiq S, Weber I (2008) Detecting regulatory compliance for business process models through semantic annotations. In: 4th international workshop on business process design (BPD\u201908). In conjunction with the 6th international conference on business process management, Milan, pp 1\u20134"},{"key":"11_CR33","unstructured":"Hagerty J, Hackbush J, Gaughan D, Jacobson S (2008) The governance, risk management, and compliance spending report, 2008\u20132009: inside the $32B GRC market, AMR Research, Boston, 25 Mar 2008"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Hashmi M, Governatori G, Wynn MT (2012) Business process data compliance. In: Bikakis A, Giurca A (eds) 6th international symposium on rules on the web: research and applications (RuleML 2012), LNCS, vol 7438, Springer, pp 32\u201346","DOI":"10.1007\/978-3-642-32689-9_4"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Herrestad H (1991) Norms and formalization. In: Proceedings of ICAIL 1991, ACM, New York, pp 175\u2013184","DOI":"10.1145\/112646.112667"},{"key":"11_CR36","unstructured":"KPMG Advisory (2005) The compliance journey: balancing risk and controls with business improvement, KPMG Australia"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Kuster J, Ryndina K, Gall H (2007) Generation of business process models for object life cycle. In: Proceedings of the 5th international conference on business process management, Springer, Brisbane, pp 165\u2013180","DOI":"10.1007\/978-3-540-75183-0_13"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Lam H-P, Governatori G (2009) The making of SPINdle. In: Governatori G, Hall J, Paschke A (eds) Rule representation, interchange and reasoning on the web (RuleML 2009), LNCS, vol 5858, Springer, Las Vegas, Nevada, USA, pp. 315\u2013322","DOI":"10.1007\/978-3-642-04985-9_29"},{"key":"11_CR39","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu Y, Muller S, Xu K (2007) A static compliance checking framework for business process models. IBM Syst J 46:335\u2013361","journal-title":"IBM Syst J"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Lu R, Sadiq S, Governatori G (2008) Compliance aware business process design. Third international workshop on business process design (BPD\u201907). In: Conjunction with the 5th international conference on business process management, LNCS, Vol 4928\/2008. Springer, Berlin, 24\u201328 Sept 2007, pp 120\u2013131","DOI":"10.1007\/978-3-540-78238-4_14"},{"issue":"2","key":"11_CR41","doi-asserted-by":"publisher","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 \u2013 requirements, challenges, solutions. Info Syst Front 14(2):195\u2013219","journal-title":"Info Syst Front"},{"key":"11_CR42","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 2011, LNCS, vol 6896, Springer, pp 132\u2013147","DOI":"10.1007\/978-3-642-23059-2_13"},{"key":"11_CR43","unstructured":"Neiger D, Churilov L, zur M\u00fchlen M, Rosemann M (2006) Integrating risks in business process models with value focused process engineering. In: Proceedings of the 2006 European conference on information systems (ECIS 2006), Goteborg, 12\u201314 June 2006"},{"key":"11_CR44","unstructured":"Padmanabhan V, Governatori G, Sadiq S, Colomb R, Rotolo A (2006) Process modeling: the deontic way. In Stumptner M, Hartmann S, Kiyoki Y (eds) Australia\u2013Pacific conference on conceptual modeling, CRPIT, Hobart, Tasmania, Australia, vol 53, pp 75\u201384"},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Pesic M, van der Aalst WMP (2006) A declarative approach for flexible business processes. In: Eder J, Dustdar S (eds) Business process management workshops, workshop on dynamic process management (DPM 2006), Lecture notes in computer science, vol 4103. Springer, Berlin, pp 169\u2013180","DOI":"10.1007\/11837862_18"},{"key":"11_CR100","doi-asserted-by":"crossref","unstructured":"Rosemann M, vom Brocke J (2014) The six core elements of business process management. In: vom Brocke J, Rosemann M (eds) Handbook on business process management, vol 1, 2nd edn. Springer, Heidelberg, pp 105\u2013122","DOI":"10.1007\/978-3-642-45100-3_5"},{"issue":"5","key":"11_CR46","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S Sadiq","year":"2005","unstructured":"Sadiq S, Sadiq W, Orlowska M (2005) A framework for constraint specification and validation in flexible workflows. Info Syst 30(5):349\u2013378","journal-title":"Info Syst"},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"Sadiq S, Governatori G, Naimiri K (2007) Modeling control objectives for business process compliance. In: Proceedings of the 5th international conference on business process management, Springer, Brisbane, pp 149\u2013164","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"11_CR48","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":"11_CR49","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst WMP, van Dongen BF, Herbst J, Maruster L, Schimm G, Weijters AJMM (2003) Workflow mining: a survey of issues and approaches. Data Knowl Eng 47:237\u2013267","journal-title":"Data Knowl Eng"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"van Dongen BF, de Medeiros AKA, Verbeek HMW, Weijters AJMM, van der Aalst WMP (2005) The ProM Framework: a new era in process mining tool support. In: Proceedings of 26th international conference applications and theory of Petri nets, Springer, Miami, pp 444\u2013454","DOI":"10.1007\/11494744_25"},{"key":"11_CR52","unstructured":"zur M\u00fchlen M, Rosemann M (2005) Integrating risks in business process models. In: Proceedings of 16th Australasian conference on information systems, Sydney"},{"key":"11_CR53","doi-asserted-by":"crossref","unstructured":"zur M\u00fchlen M, Indulska M, Kamp G (2007) Business process and business rule modelling languages for compliance management: a representational analysis. In: 26th international conference on conceptual modelling \u2013 ER2007 \u2013tutorials, posters, panels and industrial contributions, Auckland","DOI":"10.1109\/EDOCW.2007.8"}],"container-title":["Handbook on Business Process Management 2"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45103-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:23:46Z","timestamp":1746357826000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45103-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,10]]},"ISBN":["9783642451027","9783642451034"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45103-4_11","relation":{},"subject":[],"published":{"date-parts":[[2014,4,10]]},"assertion":[{"value":"10 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}