用于智能法律合同规范与生成的 Web 环境
软件工程
2025-09-16 v1
摘要
监控合同执行情况是否符合法律义务对于及时发现违规至关重要。如今可通过智能合同实现此类监控，既能防止篡改，又能在处理违规时提供一定程度的自动化。然而，自然语言合同与智能合同实现之间仍存在较大鸿沟。本文引入一个 Web 环境，部分填补了这一鸿沟：通过支持用户协助细化对应法律合同模板的 Symboleo 规范，随后自动生成可部署于 Hyperledger Fabric 平台的监控智能合同。该环境以 transactive 能源领域的样本合同为例，展示了在法律合规语境下加速智能合同开发的巨大潜力。
引用
@article{arxiv.2509.11258,
title = {A Web-Based Environment for the Specification and Generation of Smart Legal Contracts},
author = {Regan Meloche and Durga Sivakumar and Amal A. Anda and Sofana Alfuhaid and Daniel Amyot and Luigi Logrippo and John Mylopoulos},
journal= {arXiv preprint arXiv:2509.11258},
year = {2025}
}
备注
12 pages, 5 figures, 2 tables, conference