{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:17:24Z","timestamp":1740169044342,"version":"3.37.3"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"name":"Spanish MINECO\/FEDER Project DAr-DOS","award":["TIN2015-65845-C3-1-R","TIN2015-65845-C3-2-R"],"award-info":[{"award-number":["TIN2015-65845-C3-1-R","TIN2015-65845-C3-2-R"]}]},{"name":"Comunidad de Madrid Project SICOMORo-CM","award":["S2013\/ICE-3006"],"award-info":[{"award-number":["S2013\/ICE-3006"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2017]]},"DOI":"10.1109\/access.2017.2696577","type":"journal-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T18:08:52Z","timestamp":1493057332000},"page":"6735-6745","source":"Crossref","is-referenced-by-count":1,"title":["A Calculus Supporting Contract Reasoning and Monitoring"],"prefix":"10.1109","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2884-0848","authenticated-orcid":false,"given":"Maria Emilia","family":"Cambronero","sequence":"first","affiliation":[]},{"given":"Luis","family":"Llana","sequence":"additional","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","first-page":"629","article-title":"Computable contracts","volume":"46","author":"surden","year":"2012","journal-title":"UC Davis Law Review"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.54"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1997.663195"},{"key":"ref10","first-page":"49","article-title":"Contract automata with reparations","author":"azzopardi","year":"2014","journal-title":"Proc 27th Annu Conf Legal Knowl Inf Syst (JURIX)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.1998.711043"},{"key":"ref12","first-page":"25","article-title":"BP-MaaS: A runtime compliance-monitoring system for business processes","volume":"1418","author":"barnawi","year":"2015","journal-title":"Proc 13th Int Conf Bus Process Manage (BPM)"},{"key":"ref13","first-page":"355","article-title":"Supporting business process compliance in financial institutions—A model-driven approach","author":"j\u00f6rg","year":"2011","journal-title":"Proc Int 10th Int Conf Wirtschaftsinformatik"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02261-6_27"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75292-9_8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext057"},{"key":"ref18","first-page":"80","article-title":"Basic action deontic logic","author":"giordani","year":"2016","journal-title":"Proc Deontic Logic Normative Syst (DEON)"},{"key":"ref19","first-page":"93","article-title":"Sequence semantics for norms and obligations","author":"governatori","year":"2016","journal-title":"Proc Deontic Logic Normative Syst (DEON)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45941-3_10"},{"key":"ref4","first-page":"379","article-title":"Legal text interpretation: Identifying hohfeldian relations from text","author":"peters","year":"2016","journal-title":"Proc Int Conf Lang Res Eval (LREC)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1080\/10864415.1998.11518335"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23063-4_20"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.94.3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1202-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2005.13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/1968867"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1504\/IJCC.2014.058831"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.13"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LX.237.1"},{"key":"ref20","first-page":"3","article-title":"Deontic logic and the theory of conditions","volume":"2","author":"von wright","year":"1968","journal-title":"Crítica Revista Hispanoamericana Filosofía"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.09.027"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2001.950423"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2011.23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(97)00048-7"},{"key":"ref25","first-page":"453","article-title":"Deontic logic relativised to bearers and counterparties","author":"herrestad","year":"1995","journal-title":"Proc Anniversary Anthology Comput Law"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/7859429\/07909015.pdf?arnumber=7909015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:29:48Z","timestamp":1642004988000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7909015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/access.2017.2696577","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2017]]}}}