2025/09/14 by Regan Meloche, Meloche, Regan, Durga Sivakumar +10
Economics, Econometrics and Finance · Social Sciences · #Artificial Intelligence in Law #European and International Contract Law #FOS: Computer and information sciences #Law, Economics, and Judicial Systems #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.2509.11258
openalex publication_date 2025/09/14 · openalex created_date 2025/10/12 · openalex updated_date 2026/07/28
Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays be achieved through the use of smart contracts, which provide protection against tampering as well as some level of automation in handling violations. However, there exists a large gap between natural language contracts and smart contract implementations. This paper introduces a Web-based environment that partly fills that gap by supporting the user-assisted refinement of Symboleo specifications corresponding to legal contract templates, followed by the automated generation of monitoring smart contracts deployable on the Hyperledger Fabric platform. This environment, illustrated using a sample contract from the transactive energy domain, shows much potential in accelerating the development of smart contracts in a legal compliance context.