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 / Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa. - In: SN COMPUTER SCIENCE. - ISSN 2662-995X. - STAMPA. - 2022:3(2022), pp. 345.1-345.25. [10.1007/s42979-022-01228-4]

From Legal Contracts to Formal Specifications: A Systematic Literature Review

Soavi, Michele;Zeni, Nicola;Mylopoulos, John;Mich, Luisa
2022-01-01

Abstract

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.
3
Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa
From Legal Contracts to Formal Specifications: A Systematic Literature Review / Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa. - In: SN COMPUTER SCIENCE. - ISSN 2662-995X. - STAMPA. - 2022:3(2022), pp. 345.1-345.25. [10.1007/s42979-022-01228-4]
File in questo prodotto:
File Dimensione Formato  
Soavi2022_Article_FromLegalContractsToFormalSpec.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Creative commons
Dimensione 897.5 kB
Formato Adobe PDF
897.5 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/345304
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact