商业流程合规中基于形式方法的三十年发展：系统文献综述

数字化进程常面临一个关键挑战：商业流程不仅要高效地实现其目标，还必须遵守法律法规。商业流程合规指的是将流程与这些法规保持一致。已developed许多框架，最早可追溯至1981年。本研究聚焦于使用形式方法进行验证或确保合规的严谨框架。我们对基于形式模型的流程合规框架进行了系统文献综述（SLR）。我们的目标是评估流程模型合规的当前研究状态，识别研究中的空白和未来的机遇。自1981年起到GDPR建立之际，我们从5018个候选研究中筛选出46项原始研究。将这些框架按其阶段、用于流程和合规的语言以及推理技术进行分类。我们还检查了它们的实际适用性、所测试的案例研究、涉及的用户类型以及完成合规所需的技能。我们还评估了每个框架的成熟度。我们的发现表明，围绕验证技术作为流程合规的核心拥有强大的共识，尽管在合规的早期和后期阶段的观点较少一致。模型检查是占主导地位的技术，但合规语言和流程语言正在演化。大多数框架仍是概念性的，仅有原型实现，往往未能考虑合规专业人员，如法律专家或法律变更。总之，对于更好地理解监管合规框架的结构和成熟度，以及对这些框架进行稳健评估方法进行基准测试，仍需要进行综合实证研究。本综述为流程合规领域的研究者和实践者提供了宝贵的见解。