From Legal Contracts to Formal Specifications: A Systematic Literature Review

被引：0
作者：
Soavi M. [1 ]
Zeni N. [1 ]
Mylopoulos J. [2 ]
Mich L. [1 ]
机构：
[1] Department of Industrial Engineering, University of Trento, Via Sommarive 14, TN, Povo
[2] School of Electrical Engineering and Computer Science, University of Ottawa, 800 King Edward Ave, Ottawa, K1N 6N5, ON
来源：
SN Computer Science | / 3卷 / 5期
关键词：
Conceptual model; Legal contract; Requirement; Semantic annotation; Specification; Systematic literature review;
D O I：
10.1007/s42979-022-01228-4
中图分类号：
学科分类号：
摘要：
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. 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 four-step transformation process: (a) structural and semantic annotation to identify legal concepts in text, (b) identification of relationships among concepts, (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. © 2022, The Author(s).
引用
收藏
相关论文
共 101 条
[1]  
Christidis K., Devetsikiotis M., Blockchains and smart contracts for the Internet of Things, IEEE Access, 4, pp. 2292-2303, (2016)
[2]  
Soavi M., Zeni N., Mylopoulos J., Mich L., ContracT–from legal contracts to formal specifications: Preliminary results, In: IFIP Working Conference on the Practice of Enterprise Modeling, pp. 124-137, (2020)
[3]  
Guarino N., Oberle D., Staab S., . What is an ontology, In: Handbook on Ontologies, pp. 1-17, (2009)
[4]  
Zeni N., Kiyavitskaya N., Mich L., Cordy J.R., Mylopoulos J., GaiusT: supporting the extraction of rights and obligations for regulatory compliance, Requir Eng, 20, 1, pp. 1-22, (2015)
[5]  
Sharifi S., Parvizimosaed A., Amyot D., Logrippo L., Mylopoulos J., Symboleo: Towards a specification language for legal contracts, 2020 IEEE 28Th International Requirements Engineering Conference
[6]  
Griffo C., Almeida J.P., Guizzardi. G., Towards a legal core ontology based on Alexy’s theory of fundamental rights, Multilingual Workshop on Artificial Intelligence and Law, ICAIL, (2015)
[7]  
Governatori G., Milosevic Z., A formal analysis of a business contract language, Int J Coop Inf Syst, 15, 4, pp. 659-685, (2006)
[8]  
IEEE Standards Glossary of Software Engineering Terminology (IEEE Std 610.12 1990), Los Alamitos: IEEE, (1990)
[9]  
Kiyavitskaya N., Zeni N., Breaux T.D., Anton A.I., Cordy J.R., Mich L., Mylopoulos J., Extracting rights and obligations from regulations: Toward a tool-supported process, Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, (2007)
[10]  
Kitchenham B., Pfleeger S., Pickard L., Jones P., Hoaglin D., Emam K.E., Rosenberg J., Preliminary guidelines for empirical research in software engineering, IEEE Trans Softw Eng, 28, 8, pp. 721-734, (2002)
12345678910