利用软件合约解决金融监管合规问题
软件工程
2019-09-20 v1 人工智能
摘要
确保遵守各种法律法规是金融机构的首要任务。该领域的传统方法已被证明效率低下。人工处理无法良好扩展。由于领域知识缺乏形式化以及将这些知识集成到软件系统中的问题，自动化努力受到阻碍。在这项工作中，我们提出了一种方法，通过使用受控自然语言将其编码为软件合约来解决这些问题。具体而言，我们将货币市场统计报告（MMSR）法规的一部分编码为由 clojure.spec 框架指定的合约。我们展示了合约框架（特别是 clojure.spec）的各种特性如何帮助解决处理合规性时出现的问题：带解释的验证和测试数据生成。我们对所提出的解决方案进行了基准测试，并表明该方法可以有效解决此特定用例中的合规性问题。
引用
@article{arxiv.1909.08965,
title = {Solving Financial Regulatory Compliance Using Software Contracts},
author = {Newres Al Haider and Dilhan Thilakarathne and Joost Bosman},
journal= {arXiv preprint arXiv:1909.08965},
year = {2019}
}
备注
Part of DECLARE 19 proceedings