{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:10:32Z","timestamp":1775790632999,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T00:00:00Z","timestamp":1520208000000},"content-version":"tdm","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,12]]},"DOI":"10.1007\/s10506-018-9223-3","type":"journal-article","created":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T07:42:56Z","timestamp":1520235776000},"page":"377-409","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":180,"title":["On legal contracts, imperative and declarative smart contracts, and blockchain systems"],"prefix":"10.1007","volume":"26","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[]},{"given":"Florian","family":"Idelberger","sequence":"additional","affiliation":[]},{"given":"Zoran","family":"Milosevic","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4736-9214","authenticated-orcid":false,"given":"Regis","family":"Riveret","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Sartor","sequence":"additional","affiliation":[]},{"given":"Xiwei","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,5]]},"reference":[{"key":"9223_CR1","unstructured":"Aberdeen Group (2005) The contract management solution selection report. In: Handbook for CLM strategy and solution selection. Aberdeen Group"},{"key":"9223_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-21768-0_6","volume-title":"Reasoning Web. Web Logic Rules","author":"Tara Athan","year":"2015","unstructured":"Athan T, Governatori G, Palmirani M, Paschke A, Wyner A (2015) LegalRuleML: design principles and foundations. In: Proceedings of the 11th reasoning web summer school. Springer. pp 151\u2013188"},{"issue":"5","key":"9223_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5):34\u201343","journal-title":"Sci Am"},{"key":"9223_CR4","unstructured":"Canesin FC, Xiang YJ, Lim J, Fast E, Lowenthal J, Fong A, van den Brink E (2018) NEO white paper"},{"key":"9223_CR5","unstructured":"Clack CD, Bakshi VA, Braine L (2016a) Smart contract templates: essential requirements and design options. CoRR, abs\/1612.04496"},{"key":"9223_CR6","unstructured":"Clack CD, Bakshi VA, Braine L (2016b) Smart contract templates: foundations, design landscape and research directions. CoRR, abs\/1608.00771"},{"issue":"1","key":"9223_CR7","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/BF02812435","volume":"11","author":"A Daskalopulu","year":"1997","unstructured":"Daskalopulu A, Sergot MJ (1997) The representation of legal contracts. AI Soc 11(1):6\u201317","journal-title":"AI Soc"},{"key":"9223_CR8","doi-asserted-by":"crossref","unstructured":"Dimitrakos T, Djordjevic I, Milosevic Z, J\u00f8sang A, Phillips CI (2003) Contract performance assessment for secure and dynamic virtual collaborations. In: Proceedings of the 7th international enterprise distributed object computing conference. IEEE Computer Society, pp 62\u201375","DOI":"10.1109\/EDOC.2003.1233838"},{"key":"9223_CR9","unstructured":"Ethereum Foundation E(2016) Thereum\u2019s white paper"},{"issue":"02n03","key":"9223_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"ADH Farell","year":"2005","unstructured":"Farell ADH, Sergot MJ, Salle M, Bartolini C (2005) Using the event calculus for tracking the normative state of contracts. Int J Cooper Inf Syst 14(02n03):99\u2013129","journal-title":"Int J Cooper Inf Syst"},{"key":"9223_CR11","doi-asserted-by":"crossref","unstructured":"Fenech S, Pace GJ, Schneider G (2009) Automatic conflict detection on contracts. In: Proceedings of the 6th international colloquium on theoretical aspects of Computing. Springer, pp 200\u2013214","DOI":"10.1007\/978-3-642-03466-4_13"},{"key":"9223_CR12","volume-title":"Handbook of deontic logic and normative systems","year":"2013","unstructured":"Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) (2013) Handbook of deontic logic and normative systems. College Publications, London"},{"issue":"1\u20132","key":"9223_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10506-004-1922-2","volume":"12","author":"J Gelati","year":"2004","unstructured":"Gelati J, Rotolo A, Sartor G, Governatori G (2004) Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artif Intell Law 12(1\u20132):53\u201381","journal-title":"Artif Intell Law"},{"issue":"2\u20133","key":"9223_CR14","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 Cooper Inf Syst 14(2\u20133):181\u2013216","journal-title":"Int J Cooper Inf Syst"},{"key":"9223_CR15","doi-asserted-by":"crossref","unstructured":"Governatori G (2015) Thou shalt is not you will. In: Proceedings of the 15th international conference on artificial intelligence and law. ACM, pp 63\u201368","DOI":"10.1145\/2746090.2746105"},{"key":"9223_CR16","doi-asserted-by":"crossref","unstructured":"Governatori G, Milosevic Z (2005) Dealing with contract violations: formalism and domain specific language. In: Proceedings of the 9th IEEE international EDOC enterprise computing conference. IEEE Computer Society, pp 46\u201357","DOI":"10.1109\/EDOC.2005.13"},{"issue":"4","key":"9223_CR17","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 Cooper Inf Syst 15(4):659\u2013685","journal-title":"Int J Cooper Inf Syst"},{"issue":"4","key":"9223_CR18","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1504\/IJBPIM.2009.030985","volume":"5","author":"G Governatori","year":"2009","unstructured":"Governatori G, Pham DH (2009) DR-CONTRACT: an architecture for e-contracts in defeasible logic. Int J Bus Process Integr Manag 5(4):187\u2013199","journal-title":"Int J Bus Process Integr Manag"},{"key":"9223_CR19","doi-asserted-by":"crossref","unstructured":"Governatori G, Rotolo A (2013) Computing temporal defeasible logic. In: Theory, practice, and applications of rules on the web. Springer, pp 114\u2013128","DOI":"10.1007\/978-3-642-39617-5_13"},{"key":"9223_CR20","doi-asserted-by":"crossref","unstructured":"Governatori G, Hulstijn J, Riveret R, Rotolo A (2007) Characterising deadlines in temporal modal defeasible logic. In: Proceedings of the 20th Australian joint conference on artificial intelligence. Springer, pp 486\u2013496","DOI":"10.1007\/978-3-540-76928-6_50"},{"key":"9223_CR21","doi-asserted-by":"crossref","unstructured":"Grosof BN, Labrou Y, Chan HY (1999) A declarative approach to business rules in contracts: courteous logic programs in xml. In: Proceedings of the 1st ACM conference on electronic commerce. ACM, pp 68\u201377","DOI":"10.1145\/336992.337010"},{"key":"9223_CR22","doi-asserted-by":"crossref","unstructured":"Hanson JE, Milosevic Z (2003) Conversation-oriented protocols for contract negotiations. In: Proceedings of the 7th international enterprise distributed object computing conference. IEEE Computer Society, pp 40\u201349","DOI":"10.1109\/EDOC.2003.1233836"},{"key":"9223_CR23","unstructured":"Hess Z, Malahov Y, Pettersson J (2017) Aeternity blockchain"},{"key":"9223_CR24","doi-asserted-by":"crossref","unstructured":"Idelberger F, Governatori G, Riveret R, Sartor G (2016) Evaluation of logic-based smart contracts for blockchain systems. In: Proceedings of the 10th international web rule symposium. Springer, pp 167\u2013183","DOI":"10.1007\/978-3-319-42019-6_11"},{"key":"9223_CR25","unstructured":"Jelurida (2017) Ardor white paper"},{"key":"9223_CR26","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-1-349-91518-7_6","volume-title":"The Fun of Programming","author":"Simon L. Peyton Jones","year":"2003","unstructured":"Jones SLP, Eber JM (2003) How to write a financial contract"},{"key":"9223_CR27","doi-asserted-by":"crossref","unstructured":"Kern A, Walhorn C (2005) Rule support for role-based access control. In: Proceedings of the 10th ACM symposium on access control models and technologies. ACM, pp 130\u2013138","DOI":"10.1145\/1063979.1064002"},{"issue":"7","key":"9223_CR28","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R Kowalski","year":"1979","unstructured":"Kowalski R (1979) Algorithm = logic + control. Commun ACM 22(7):424\u2013436","journal-title":"Commun ACM"},{"key":"9223_CR29","doi-asserted-by":"crossref","unstructured":"Lam HP, Governatori G (2009) The making of SPINdle. In: Proceedings of the international symposium on rule interchange and applications. Springer, pp 315\u2013322","DOI":"10.1007\/978-3-642-04985-9_29"},{"issue":"1","key":"9223_CR30","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.datak.2004.03.005","volume":"51","author":"PF Linington","year":"2004","unstructured":"Linington PF, Milosevic Z, Cole JB, Gibson S, Kulkarni S, Neal SW (2004) A unified behavioural model and a contract language for extended enterprise. Data Knowl Eng 51(1):5\u201329","journal-title":"Data Knowl Eng"},{"issue":"3","key":"9223_CR31","doi-asserted-by":"crossref","first-page":"339","DOI":"10.3233\/FI-2011-566","volume":"111","author":"A Lomuscio","year":"2011","unstructured":"Lomuscio A, Penczek W, Solanki M, Szreter M (2011) Runtime monitoring of contract regulated web services. Fundam Inform 111(3):339\u2013355","journal-title":"Fundam Inform"},{"issue":"9","key":"9223_CR32","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2017.3571045","volume":"50","author":"D Magazzeni","year":"2017","unstructured":"Magazzeni D, McBurney P, Nash W (2017) Validation and verification of smart contracts: a research agenda. Computer 50(9):50\u201357","journal-title":"Computer"},{"key":"9223_CR33","doi-asserted-by":"crossref","unstructured":"Marjanovic O, Milosevic Z (2001) Towards formal modeling of e-contracts. In: Proceedings of the 5th international enterprise distributed object computing conference, pp 59\u201368","DOI":"10.1109\/EDOC.2001.950423"},{"key":"9223_CR34","unstructured":"Milosevic Z (1996) Enterprise aspects of open distributed systems. Ph.D. thesis, University of Queensland"},{"key":"9223_CR35","doi-asserted-by":"crossref","unstructured":"Milosevic Z, Arnold D, O\u2019Connor L (1996) Inter-enterprise contract architecture for open distributed systems: security requirements. In: Proceedings of the 5th workshop on enabling technologies: infrastructure for collaborative enterprises, pp 68\u201373","DOI":"10.1109\/ENABL.1996.555065"},{"issue":"2","key":"9223_CR36","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.elerap.2004.02.003","volume":"3","author":"C Molina-Jimenez","year":"2004","unstructured":"Molina-Jimenez C, Shrivastava S, Solaiman E, Warne J (2004) Run-time monitoring and enforcement of electronic contracts. Electron Commer Res Appl 3(2):108\u2013125","journal-title":"Electron Commer Res Appl"},{"key":"9223_CR37","unstructured":"Montgomery N, Wilson DR (2015) Market guide for contract life cycle management, Gartner, ID: G00276707"},{"key":"9223_CR38","unstructured":"Nakamoto S (2008) Bitcoin: A peer-to-peer electronic cash system"},{"key":"9223_CR39","unstructured":"Nxt Community (2018) Nxt white paper"},{"key":"9223_CR40","unstructured":"OASIS (2007) eContracts Version 1.0, Committee Specification"},{"key":"9223_CR41","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.artint.2015.06.005","volume":"227","author":"H Prakken","year":"2015","unstructured":"Prakken H, Sartor G (2015) Law and logic: a review from an argumentation perspective. Artif Intell 227:214\u2013245","journal-title":"Artif Intell"},{"key":"9223_CR42","doi-asserted-by":"crossref","unstructured":"Rimba R, Tran AB, Weber I, Staples M, Ponomarev A, Xu X (2017) Comparing blockchain and cloud services for business process execution. In: Proceedings IEEE international conference on software architecture. IEEE, pp 257\u2013260","DOI":"10.1109\/ICSA.2017.44"},{"key":"9223_CR43","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":"9223_CR44","unstructured":"Staples M, Chen S, Falamaki S, Ponomarev A, Rimba P, Tran AB, Weber I, Xu X, Zhu J (2017) Risks and opportunities for systems using blockchain and smart contracts. Technical report, Data61 (CSIRO), Sydney"},{"key":"9223_CR45","unstructured":"Szabo N (1997) The idea of smart contracts"},{"key":"9223_CR46","doi-asserted-by":"crossref","unstructured":"Weber I, Xu X, Riveret R, Governatori G, Ponomarev A, Mendling J (2016) Untrusted business process monitoring and execution using blockchain. In: Proceedings of the 14th international conference on business process management, vol 9850. Springer, pp 329\u2013347","DOI":"10.1007\/978-3-319-45348-4_19"},{"key":"9223_CR47","unstructured":"Wood G (2014) Ethereum: a secure decentralised generalised transaction ledger"},{"key":"9223_CR48","doi-asserted-by":"crossref","unstructured":"Wright A, De\u00a0Filippi P (2015) Decentralized Blockchain Technology and the Rise of Lex Cryptographia. SSRN scholarly paper ID 2580664, Social Science Research Network","DOI":"10.2139\/ssrn.2580664"},{"key":"9223_CR49","doi-asserted-by":"crossref","unstructured":"Xu X, Weber I, Staples M, Rimba P (2017) A taxonomy of blockchain-based systems for architecture design. In: Proceedings IEEE international conference on software architecture. IEEE, pp 243\u2013252","DOI":"10.1109\/ICSA.2017.33"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-018-9223-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-018-9223-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-018-9223-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,28]],"date-time":"2020-10-28T23:40:27Z","timestamp":1603928427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-018-9223-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,5]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9223"],"URL":"https:\/\/doi.org\/10.1007\/s10506-018-9223-3","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,5]]},"assertion":[{"value":"5 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}