The opportunity to automate and monitor the execution of legal contracts is gaining increasing interest in Business and Academia, thanks to the advent of smart contracts, blockchain technologies and the Internet of Things (IoT). A critical issue in developing smart contract systems is the formalization of legal contracts, which are traditionally expressed in natural language with all the pitfalls that this entails. This paper presents a systematic literature review of papers for the main steps related to the transformation of a legal contract expressed in natural language into a formal specification. Key research studies have been identified, classified, and analyzed according to a 4-step transformation process: (a) structural and semantic annotation, (b) identification of relationships, (c) contract domain modeling, and (d) generation of a formal specification. Each one of these steps poses serious research challenges that have been the subject of research for decades. The systematic review offers an overview of the most relevant research efforts undertaken to address each step and identifies promising approaches, best practices, and existing gaps in the literature.
From Legal Contracts to Formal Specifications: A Systematic Literature Review / SoaviMichele, ; Zeni, Nicola; Mylopoulos, John; Mich, Luisa. - In: SN COMPUTER SCIENCE. - ISSN 2662-995X. - STAMPA. - 2022:3(2022), pp. 1-25. [10.1007/s42979-022-01228-4]
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | From Legal Contracts to Formal Specifications: A Systematic Literature Review | |
Autori: | SoaviMichele, ; Zeni, Nicola; Mylopoulos, John; Mich, Luisa | |
Autori Unitn: | ||
Titolo del periodico: | SN COMPUTER SCIENCE | |
Anno di pubblicazione: | 2022 | |
Numero e parte del fascicolo: | 3 | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s42979-022-01228-4 | |
Handle: | http://hdl.handle.net/11572/345304 | |
Citazione: | From Legal Contracts to Formal Specifications: A Systematic Literature Review / SoaviMichele, ; Zeni, Nicola; Mylopoulos, John; Mich, Luisa. - In: SN COMPUTER SCIENCE. - ISSN 2662-995X. - STAMPA. - 2022:3(2022), pp. 1-25. [10.1007/s42979-022-01228-4] | |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |