{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:40:37Z","timestamp":1742956837332,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319765860"},{"type":"electronic","value":"9783319765877"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-76587-7_6","type":"book-chapter","created":{"date-parts":[[2018,3,2]],"date-time":"2018-03-02T04:46:15Z","timestamp":1519965975000},"page":"80-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Declarative Approaches for Compliance by Design"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0838-9850","authenticated-orcid":false,"given":"Francesco","family":"Olivieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3199-1604","authenticated-orcid":false,"given":"Nick","family":"van Beest","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5067-1804","authenticated-orcid":false,"given":"Nina Ghanbari","family":"Ghooshchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,3]]},"reference":[{"key":"6_CR1","unstructured":"Alechina, N., Bassiliades, N., Dastani, M., Vos, M.D., Logan, B., Mera, S., Morris-Martin, A., Schapachnik, F.: Computational models for normative multi-agent systems, pp. 71\u201392"},{"key":"6_CR2","unstructured":"Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents, pp. 1057\u20131064"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in agentspeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143\u2013164. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11750734_9 . (tutorial paper)"},{"issue":"3\u20134","key":"6_CR4","first-page":"428","volume":"2","author":"J Broersen","year":"2002","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.W.N.: Goal generation in the BOID architecture. Cogn. Sci. Q. 2(3\u20134), 428\u2013447 (2002)","journal-title":"Cogn. Sci. Q."},{"key":"6_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-00328-8_13","volume-title":"Business Process Management Workshops","author":"F Chesani","year":"2009","unstructured":"Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking compliance of execution traces to business rules. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 134\u2013145. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00328-8_13"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Auton. Agent. Multi-Agent Syst. 16(3), 214\u2013248 (2008)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"6_CR7","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations (International Book Series)","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming","author":"M Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah, S.A. (eds.) Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations (International Book Series), vol. 15, pp. 39\u201367. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/0-387-26350-0_2"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-19069-3_6","volume-title":"Advanced Information Systems Engineering","author":"G Giacomo De","year":"2015","unstructured":"De Giacomo, G., Dumas, M., Maggi, F.M., Montali, M.: Declarative process modeling in BPMN. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 84\u2013100. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_6"},{"issue":"12","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R Dijkman","year":"2008","unstructured":"Dijkman, R., 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":"6_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-22359-4_19","volume-title":"Computational Logic in Multi-Agent Systems","author":"A Gabaldon","year":"2011","unstructured":"Gabaldon, A.: Making golog norm compliant. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA 2011. LNCS (LNAI), vol. 6814, pp. 275\u2013292. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22359-4_19"},{"key":"6_CR11","volume-title":"Automated Planning: Theory and Practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, Burlington (2004)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Ghooshchi, N.G., van Beest, N.R.T.P., Governatori, G., Olivieri, F., Sattar, A.: Visualisation of compliant declarative business processes. In: Proceedings of EDOC. IEEE (2017, forthcoming)","DOI":"10.1109\/EDOC.2017.21"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Governatori, G., Hashmi, M.: No time for compliance. In: Proceedings of the International Conference on Enterprise Distibuted Object Computing, pp. 9\u201318. IEEE (2015)","DOI":"10.1109\/EDOC.2015.12"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-39617-5_12","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"G Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., Cristani, M.: Picking up the best goal: an analytical study in defeasible logic. In: Morgenstern, L., Stefaneas, P., L\u00e9vy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 99\u2013113. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39617-5_12"},{"issue":"3","key":"6_CR15","first-page":"296","volume":"16","author":"G Governatori","year":"2016","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rationale behind the concept of goal. TPLP 16(3), 296\u2013324 (2016)","journal-title":"TPLP"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Log. J. IGPL 17(3), 227\u2013265 (2009)","journal-title":"Log. J. IGPL"},{"key":"6_CR17","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) APCCM. CRPIT, vol. 110, pp. 3\u201312. Australian Computer Society (2010)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-16289-3_17","volume-title":"Semantic Web Rules","author":"G Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194\u2013209. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16289-3_17"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM, pp. 426\u2013454 (2008)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"6_CR20","unstructured":"Hagerty, J., Hackbush, J., Gaughan, D., Jacobson, S.: The governance, risk management, and compliance spending report, 2008\u20132009: inside the $32B GRC market. AMR Research (2008)"},{"key":"6_CR21","unstructured":"Heinrich, B., Sch\u00f6n, D.: Automated planning of process models: the construction of simple merges. In: 24th European Conference on Information Systems (ECIS) (2016)"},{"key":"6_CR22","unstructured":"Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: ECAI, pp. 33\u201337. IOS Press (2004)"},{"key":"6_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-21759-3_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A Marrella","year":"2011","unstructured":"Marrella, A., Mecella, M.: Continuous planning for solving business process adaptivity. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS\/EMMSAD -2011. LNBIP, vol. 81, pp. 118\u2013132. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21759-3_9"},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"6_CR25","volume-title":"Business Rules And Information Systems: Aligning IT With Business Goals","author":"T Morgan","year":"2002","unstructured":"Morgan, T.: Business Rules And Information Systems: Aligning IT With Business Goals. Addison-Wesley Professional, Reading (2002)"},{"issue":"4","key":"6_CR26","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"6_CR27","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Oxford University Press (1987)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/978-3-319-25524-8_43","volume-title":"PRIMA 2015: Principles and Practice of Multi-Agent Systems","author":"F Olivieri","year":"2015","unstructured":"Olivieri, F., Cristani, M., Governatori, G.: Compliant business processes with exclusive choices from agent specification. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 603\u2013612. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25524-8_43"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-44927-7_15","volume-title":"PRIMA 2013: Principles and Practice of Multi-Agent Systems","author":"F Olivieri","year":"2013","unstructured":"Olivieri, F., Governatori, G., Scannapieco, S., Cristani, M.: Compliant business process design by declarative specifications. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS (LNAI), vol. 8291, pp. 213\u2013228. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-44927-7_15"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., Van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, pp. 287\u2013300. IEEE Computer Society (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"6_CR31","unstructured":"Petri, C.A.: Communication with automata, Ph.D. thesis. Universit\u00e4t Hamburg (1966)"},{"key":"6_CR32","first-page":"162","volume":"14","author":"J Prescher","year":"2014","unstructured":"Prescher, J., Di Ciccio, C., Mendling, J.: From declarative processes to imperative models. SIMPDA 14, 162\u2013173 (2014)","journal-title":"SIMPDA"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04856-2_1","volume-title":"Transactions on Petri Nets and Other Models of Concurrency III","author":"NC Russell","year":"2009","unstructured":"Russell, N.C., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Designing a workflow system using coloured petri nets. In: Jensen, K., Billington, J., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency III. LNCS, vol. 5800, pp. 1\u201324. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04856-2_1"},{"key":"6_CR34","series-title":"International Handbooks on Information Systems","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-45103-4_11","volume-title":"Handbook on Business Process Management 2","author":"S Sadiq","year":"2015","unstructured":"Sadiq, S., Governatori, G.: Managing regulatory compliance in business processes. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 2. IHIS, pp. 265\u2013288. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-642-45103-4_11"},{"issue":"1","key":"6_CR35","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s10458-010-9130-9","volume":"23","author":"S Sardi\u00f1a","year":"2011","unstructured":"Sardi\u00f1a, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Auton. Agent. Multi-Agent Syst. 23(1), 18\u201370 (2011)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"6_CR36","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.is.2013.07.003","volume":"39","author":"NRTP Beest van","year":"2014","unstructured":"van Beest, N.R.T.P., Kaldeli, E., Bulanov, P., Wortmann, J.C., Lazovik, A.: Automated runtime repair of business processes. Inf. Syst. 39, 45\u201379 (2014)","journal-title":"Inf. Syst."},{"issue":"1","key":"6_CR37","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"issue":"10","key":"6_CR38","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"WMP Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639\u2013650 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: Decserflow: towards a truly declarative service flow language. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W.M.P. (eds.) The Role of Business Processes in Service Oriented Architectures, Dagstuhl Seminar Proceedings, vol. 06291. Schloss Dagstuhl, Germany (2006)","DOI":"10.1007\/11841197_1"},{"key":"6_CR40","first-page":"1","volume":"820","author":"M Westergaard","year":"2011","unstructured":"Westergaard, M., Maggi, F.M.: Declare: a tool suite for declarative workflow modeling and enactment. BPM (Demos) 820, 1\u20135 (2011)","journal-title":"BPM (Demos)"}],"container-title":["Lecture Notes in Business Information Processing","Service Research and Innovation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-76587-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T00:27:29Z","timestamp":1570840049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-76587-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319765860","9783319765877"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-76587-7_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]}}}