{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:54:10Z","timestamp":1770911650432,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751823","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75183-0_12","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T04:36:32Z","timestamp":1188534992000},"page":"149-164","source":"Crossref","is-referenced-by-count":243,"title":["Modeling Control Objectives for Business Process Compliance"],"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"}]},{"given":"Kioumars","family":"Namiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow Mining: A Survey of Issues and Approaches. Data & Knowledge Engineering\u00a047, 237\u2013267 (2003)","journal-title":"Data & Knowledge Engineering"},{"issue":"2-4","key":"12_CR2","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.: Compliance verification of agent interaction: A logic based tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"issue":"2","key":"12_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, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"12_CR4","unstructured":"BPM Forum CEE: The Future. Building the Compliance Enabled Enterprise. Report produced by GlobalFluency in partnership with: AXS-One, Chief Executive Magazine and IT Compliance Institute (2006)"},{"key":"12_CR5","doi-asserted-by":"crossref","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, A.J.I.: Deontic Logic and Contrary-to-Duties. In: Handbook of Philosophical Logic, 2nd edn., vol.\u00a08, pp. 265\u2013344. Kluwer, Dordrecht (2002)","edition":"2"},{"key":"12_CR6","unstructured":"COSO - The Committee of Sponsoring Organizations of the Treadway Commission Internal Control \u2013 Integrated Framework (May 1994)"},{"issue":"12","key":"12_CR7","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/TSE.2005.140","volume":"31","author":"N. Desai","year":"2005","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction Protocols as Design Abstractions for Business Processes. IEEE Transaction on Software Engineering\u00a031(12), 1015\u20131027 (2005)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"12_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-540-32260-3_10","volume-title":"Programming Multi-Agent Systems","author":"V. Dignum","year":"2005","unstructured":"Dignum, V., V\u00e1zquez-Salceda, J., Dignum, F.: OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol.\u00a03346, pp. 181\u2013198. Springer, Heidelberg (2005)"},{"issue":"2-3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"D.H. Farrell","year":"2005","unstructured":"Farrell, D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state in contracts. International Journal of Cooperative Information Systems\u00a014(2-3), 99\u2013129 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"12_CR10","unstructured":"Giblin, C., Muller, S., Pfitzmann, B.: From regulatory policies to event monitoring rules: Towards model driven compliance automation. IBM Research Report. Zurich Research Laboratory (October 2006)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) Business Process Management Workshops. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"12_CR12","first-page":"16","volume-title":"Proceedings of the 10th IEEE Conference on Enterprise Distributed Object Computing","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE Conference on Enterprise Distributed Object Computing, Hong Kong, October 16-20, 2006, pp. 16\u201320. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"2-3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing Business Contracts in RuleML. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of Violations: A Gentzen System for Reasoning on Contrary-To-Duty Obligations. Australasian Journal of Logic\u00a04, 193\u2013215 (2006)","journal-title":"Australasian Journal of Logic"},{"issue":"4","key":"12_CR15","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z.: A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems\u00a015(4), 659\u2013685 (2006)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1165485.1165490","volume-title":"Procedings of the 10th International Conference on Artificial Intelligence and Law","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Gardner, A. (ed.) Procedings of the 10th International Conference on Artificial Intelligence and Law, pp. 25\u201334. ACM Press, New York (2005)"},{"key":"12_CR17","unstructured":"Hagerty, J.: SOX Spending for 2006. AMR Research, Boston USA. (November 29, 2007)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes. In: Eder, J., Dustdar, S. (eds.) Business Process Management Workshops. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"12_CR19","volume-title":"Legal Reasoning: A Cognitive Approach to the Law","author":"G. Sartor","year":"2005","unstructured":"Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Heidelberg (2005)"},{"issue":"5","key":"12_CR20","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.: A Framework for Constraint Specification and Validation in Flexible Workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"},{"key":"12_CR21","unstructured":"Padmanabhan, V., Governatori, G., Sadiq, S., Colomb, R., Rotolo, A.: Process Modeling: The Deontic Way. In: Stumptner, M., Hartmann, S., Kiyoki, Y. (eds.) Australia-Pacific Conference on Conceptual Modeling 2006, CRPIT, vol. 53, pp. 75\u201384 (2006)"},{"key":"12_CR22","unstructured":"zur Muehlen, M., Rosemann, M.: Integrating Risks in Business Process Models. In: 16th Australasian Conference on Information Systems. November 29 \u2013 December 2, Sydney, Australia (2005)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75183-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:54:22Z","timestamp":1619520862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75183-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751823"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75183-0_12","relation":{},"subject":[]}}