Smart contracts are software systems that partially automate, monitor and control the execution of legal contracts. The requirements of such systems consist of a formal specification of the legal contract whose execution is to be monitored and controlled. Legal contracts are always available as text expressed in natural language. We have been working on the translation of such text documents into formal specifications. Our translation process consists of four steps that (a) Semantic annotation of text identifying obligations, powers, contracting parties and assets, (b) Identification of relationships among the concepts identified in (a), (c) Generation of a domain model for terms used in the contract, as well as identification of parameters and local variables for the contract, (d) Generation of formal expressions that formalize the constituents of obligations and powers. This paper reports on the status of the project and the results that have been achieved.

From Legal Contracts to Formal Specifications: A Progress Report / Soavi, Michele; Zeni, Nicola; Mylopoulos, Ioannis; Mich, Luisa. - ELETTRONICO. - 2857:(2021), pp. 1-5. (Intervento presentato al convegno Joint Workshops of the 27th International Conference on Requirements Engineering, REFSQ 2021; NL4RE: 4th Workshop on Natural Language Processing for Requirements Engineering tenutosi a Essen nel 12th April 2021).

From Legal Contracts to Formal Specifications: A Progress Report

Soavi, Michele;Zeni, Nicola;Mylopoulos, Ioannis;Mich, Luisa
2021-01-01

Abstract

Smart contracts are software systems that partially automate, monitor and control the execution of legal contracts. The requirements of such systems consist of a formal specification of the legal contract whose execution is to be monitored and controlled. Legal contracts are always available as text expressed in natural language. We have been working on the translation of such text documents into formal specifications. Our translation process consists of four steps that (a) Semantic annotation of text identifying obligations, powers, contracting parties and assets, (b) Identification of relationships among the concepts identified in (a), (c) Generation of a domain model for terms used in the contract, as well as identification of parameters and local variables for the contract, (d) Generation of formal expressions that formalize the constituents of obligations and powers. This paper reports on the status of the project and the results that have been achieved.
2021
REFSQ 2021 Joint Proceedings of the Co-Located Events
Aachen
CEUR-WS
Soavi, Michele; Zeni, Nicola; Mylopoulos, Ioannis; Mich, Luisa
From Legal Contracts to Formal Specifications: A Progress Report / Soavi, Michele; Zeni, Nicola; Mylopoulos, Ioannis; Mich, Luisa. - ELETTRONICO. - 2857:(2021), pp. 1-5. (Intervento presentato al convegno Joint Workshops of the 27th International Conference on Requirements Engineering, REFSQ 2021; NL4RE: 4th Workshop on Natural Language Processing for Requirements Engineering tenutosi a Essen nel 12th April 2021).
File in questo prodotto:
File Dimensione Formato  
nlp4re10.pdf

accesso aperto

Descrizione: Versione editoriale
Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Creative commons
Dimensione 442.6 kB
Formato Adobe PDF
442.6 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/311027
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact