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.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