CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishLegal contracts have been used for millennia to conduct business transactions world-wide. Such contracts are expressed in natural language, and usually come in written form. We are interested in producing formal specifications from such legal text that can be used to formally analyze contracts, also serve as launching pad for generating smart contracts, information systems that partially automate, monitor and control the execution of legal contracts. We have been developing a method for transforming legal contract documents into specifications, adopting a semantic approach where transformation is treated as a text classification, rather than a natural language processing problem. The method consists of five steps that (a) Identify domain terms in the contract and manually disambiguate them when necessary, in consultation with stakeholders; (b) Semantically annotate text identifying obligations, powers, contracting parties, assets and situations; (c) Identify relationships among the concepts mined in (b); (d) Generate a domain model based on the terms identified in (a), as well as parameters and local variables for the contract; (e) Generate expressions that formalize the conditions of obligations and powers using terms identified in earlier steps in a contract specification language. This paper presents the method through an illustrative example, also reports on a prototype implementation of an environment that supports the method.
Contratto – A Method for Transforming Legal Contracts into Formal Specifications / Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa. - STAMPA. - 446:(2022), pp. 338-353. ((Intervento presentato al convegno International Conference on Research Challenges in Information Science - RCIS 2022 tenutosi a Barcelona, Spain nel May 17–20, 2022 [10.1007/978-3-031-05760-1_20].
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: | Contratto – A Method for Transforming Legal Contracts into Formal Specifications | |
| Autori: | Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa | |
| Autori Unitn: | ||
| Autore/i del libro: | Renata Guizzardi; Jolita Ralyté; Xavier Franch | |
| Titolo del volume contenente il saggio: | Lecture Notes in Business Information Processing | |
| Luogo di edizione: | Berlin | |
| Casa editrice: | Springer | |
| Anno di pubblicazione: | 2022 | |
| ISBN: | 978-3-031-05759-5 | |
| Handle: | http://hdl.handle.net/11572/344263 | |
| Citazione: | Contratto – A Method for Transforming Legal Contracts into Formal Specifications / Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa. - STAMPA. - 446:(2022), pp. 338-353. ((Intervento presentato al convegno International Conference on Research Challenges in Information Science - RCIS 2022 tenutosi a Barcelona, Spain nel May 17–20, 2022 [10.1007/978-3-031-05760-1_20]. | |
| Appare nelle tipologie: |
File in questo prodotto:
Copyright © 2022