关于规范化说明语言 eFLINT 的设计、应用与实现

检查软件是否符合法律、法规和合同的合规性正在变得越来越重要和昂贵，因为软件嵌入社会实践的程度在增加。此外，政府组织和公司提供的数字化服务受越来越多的法律和法规的管辖，需要高度可适应的合规实践。一个潜在解决方案是使用软件自动化合规。然而，由于各种原因，自动化合规具有挑战性。法律实践涉及诠释和资格确定等主观过程。新的法律和法规不断生效，法律和法规以及它们的诠释都不断被修订。此外，计算推理法律需要涉及法律和软件专业知识的跨学科过程。本文反思了用于实验新解决方案的规范化说明语言 eFLINT。具体而言，该语言开发旨在实验支持不同类型推理以适用于各种应用的抽象语法和语义。该语言组合声明性和程序性元素，对法律概念与计算概念之间的关系进行形式化，并设计用于在软件系统运行前、运行中和运行后自动执行合规检查。该语言的各种设计目标和应用领域导致（相互冲突的）要求。本文回顾并反思了该语言的当前设计，通过回顾应用和要求来实现。因此，本文报告了一项调查的结果和见解，该调查可以为自动合规领域的语言开发者提供帮助。