Solving Financial Regulatory Compliance Using Software Contracts
ING Tech Research and Development, ING Bank（ING银行ING技术研发部）
确保遵守各种法律法规是金融机构的首要任务。这方面的传统方法已被证明效率低下。手动处理不能很好地扩展。由于缺乏领域知识的形式化和将这些知识集成到软件系统中的问题，自动化的努力受到阻碍。在这项工作中，我们提出了一种方法来解决这些问题，编码到软件合同使用受控的自然语言。特别是，我们将货币市场统计报告（MMSR）规则的一部分编码到clojure.spec框架指定的合约中。我们展示了合约框架的各种特性，特别是clojure.spec，如何帮助解决在处理合规性时出现的问题：带解释的验证和测试数据生成。我们对我们提出的解决方案进行了基准测试，并表明这种方法可以有效地解决这个特定用例中的合规性问题。
2019-09-11 cs.AI cs.SE
Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
Shanghai Key Laboratory of Trustworthy Computing, ECNU（上海可信计算实验室，华东师范大学）；Dishui Lake International Software Engineering Institute, ECNU（迪希湖国际软件工程研究院，华东师范大学）
RAFT通过从多个LLMs中阐释隐性监管知识，实现需求自动形式化和合规测试生成，提升测试用例生成的精度和效率。
2026-01-14 cs.AI cs.SE
Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
fortiss research institute（fortiss研究所）；IBM Research Europe（IBM欧洲研究院）
针对大语言模型面临的各类对抗攻击漏洞及合规需求，本文提出含动态风险元层的分层防护框架，结合两类保证案例说明场景化策略，保障模型鲁棒性与欧盟AI法案合规性。
2024-10-04 cs.AI cs.CR cs.SE
Vision for an Artefact-based Approach to Regulatory Requirements Engineering
背景资料：如今，监管要求工程（监管RE）面临着跨学科性质的挑战，无法解决由于现有的研究差距。目的：我们设想一种方法来解决与监管要求的性质和复杂性，领域知识的必要性，以及法律专家参与监管RE相关的一些挑战。方法：我们建议对监管文本进行定性分析，并结合进一步的案例研究，为我们的研究奠定实证基础。结果：我们概述了我们的愿景，为监管RE的应用扩展的基于人工制品的建模。结论：经验方法是解决监管RE的跨学科性和复杂性的重要工具。基于人工制品的建模得到实证结果的支持，可以解决一组特定的问题，同时不限制其他方法和工具的应用，并促进不同领域的实践和研究之间的互动。
2021-08-30 cs.SE
Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements
本文提出基于事件链建模的白盒方法，用于解决自动驾驶和ADAS系统的时间约束问题，提升合规性与安全性。
2025-11-22 cs.SE
Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
本文提出LogiSafetyGen框架，通过逻辑引导合成评估LLM在工具调用中的隐式监管合规性，揭示大模型在安全约束上的不足。
2026-01-13 cs.AI cs.CL cs.CR
Enhancing Legal Compliance and Regulation Analysis with Large Language Models
University of Ottawa（渥太华大学）
本研究提出一种基于大型语言模型的法律合规与监管分析智能体框架，利用BERT和GPT模型自动化合规检查，在5000项法律条款数据集上分别达到92.3%和88.7%的准确率，显著优于现有基线。
2024-04-26 cs.AI cs.SE
Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities
ABBYY；RWTH Aachen University（亚琛工业大学）；XPAN Law Partners（XPAN律师事务所）
本文的前提是，遵守值得信赖的人工智能治理最佳实践和监管框架是一个内在的分散过程，跨越不同的组织单位，外部利益相关者和记录系统，导致过程的不确定性和合规性差距，可能使组织面临声誉和监管风险。此外，满足值得信赖的人工智能最佳实践的特定方面也存在复杂性，例如数据治理、一致性测试、人工智能模型行为的质量保证、透明度、问责制和保密性要求。这些流程涉及多个步骤、交接、返工和人工监督。在本文中，我们证明了流程挖掘可以提供一个有用的框架，用于获得对AI合规流程执行的基于事实的可见性，揭示合规瓶颈，并提供一种自动化方法来分析，修复和监控AI监管合规流程中的不确定性。
2021-10-06 cs.AI cs.SE
CertiA360: Enhance Compliance Agility in Aerospace Software Development
针对航空航天安全关键软件开发中敏捷方法难适配DO-178C等严格合规要求的问题，提出CertiA360工具，可自动化管理全生命周期变更、保障可追溯性与合规性，经验证可降本提效，证明定制化敏捷可适配高监管场景认证要求。
2025-11-14 cs.SE
How to Integrate Security Compliance Requirements with Agile Software Engineering at Scale?
将安全性集成到敏捷软件开发中是一个开放的研究和实践问题。特别是在监管严格的行业中，复杂性不仅在扩展敏捷实践时增加，而且在旨在遵守安全标准时也会增加。为了在大规模敏捷环境中实现安全合规性，我们开发了S2 C-SAFe：Scaled Agile Framework的扩展，符合安全标准IEC~62443-4-1，用于安全产品开发。在本文中，我们介绍了西门子大型项目生态系统中的敏捷和安全专家的框架及其评估。我们讨论的好处和局限性，以及从从业者的角度来看的挑战。我们的研究结果表明，\ssafe有助于在受监管的环境中成功地将安全合规性与精益和敏捷开发相结合。我们还希望提高对在持续软件工程范围内集成安全性的重要性和挑战的认识。
2021-05-27 cs.SE
On Developing an Artifact-based Approach to Regulatory Requirements Engineering
本文针对监管需求工程中法律与工程视角难以整合的问题，提出AM4RRE制品模型，通过焦点小组和专家验证证明以制品为中心的RE可有效管理法律领域知识并协调工程与法律。
2024-05-01 cs.SE
Compliance Management for Federated Data Processing
Institute of Informatics, University of Amsterdam（阿姆斯特丹大学信息学研究所）
本文提出一种合规导向的联邦数据处理框架，整合了政策即代码、工作流编排和大语言模型辅助的合规管理，以解决跨组织边界的数据访问政策管理难题。
2026-04-05 cs.SE
Toward Regulatory Compliance: A few-shot Learning Approach to Extract Processing Activities
本文针对小型应用开发公司面临的 GDPR 合规挑战，提出利用 GPT-3.5 Turbo 少样本学习从使用场景中自动生成处理活动记录（RoPA）片段，并分析了提示示例数量、重复和顺序对摘要性能的影响，平均 ROUGE-L F1 达 70%。
2024-07-12 cs.SE
Operationalizing Regulations into Code: A Model to Enhance Governance and Compliance in LLM Selection for Software Engineering
Centro de Informática - CIn, UFPE（计算机中心，巴西联邦大学）
本文提出一种基于设计科学研究的三层模型，将法规转化为可操作的LLM选择标准，试点评估显示该模型可识别合规风险，为软件工程LLM治理提供可行方案。
2026-08-31 cs.SE
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects
在本文中，我们提出了一个正式的框架，分析和优化的系统开发应用在几个国家的需求规格。由于不同的国家通常有不同的法规/法律以及不同的文化限制，相应的具体要求可能会因具体情况而异。我们的框架提供了一个基础：（1）系统和正式的分析的多样性和相互依赖性的要求，以避免不符合，矛盾和冗余;（2）相应的系统过程中的变化管理的情况下，全球系统的发展。
2019-10-11 cs.SE
Defining and executing temporal constraints for evaluating engineering artifact compliance
针对安全关键系统工程流程时间约束检查依赖人工、反馈滞后的问题，提出基于扩展OCL的增量式自动化检查方法，可在制品变更时及时反馈偏差，工业用例下单约束平均评估约0.2毫秒。
2023-12-20 cs.SE
Towards Automated Continuous Security Compliance
针对高度监管领域中人工安全合规活动资源密集且易出错的问题，本文定义了持续安全合规概念，梳理了自动化持续安全合规面临的挑战，并提出研究路线图以推动自动化持续安全合规的实现。
2024-08-01 cs.SE
Code-as-Auditor: Executable Compliance Reasoning via Regulation-to-Code
Sungkyunkwan University（成均馆大学）
本文提出Code-as-Auditor框架，将法规转化为可执行代码和检查清单，通过动态问题引导和自验证循环，实现基于证据的自动化合规评估，在隐私场景中提升准确性和可追溯性。
2026-09-18 cs.AI cs.SE
SoK: Web3 RegTech for Cryptocurrency VASP AML/CFT Compliance
Nanjing University（南京大学）
本文研究Web3监管科技在加密货币VASP反洗钱/反恐融资合规中的应用，通过分析41个商业平台和28个学术原型，揭示其在交易图分析、实时风险评估等能力上的创新与行业部署间的差距。
2025-12-31 cs.CR cs.SE
Simplifying Requirements Engineering in the Context of the LGPD: An LLM-Based Investigation
Instituto de Informática – Universidade Federal de Goiás (UFG)（戈亚斯联邦大学信息学院）
本研究针对隐私法规合规转化为软件需求的挑战，探究LLM在LGPD框架下简化需求工程的可行性，提出利用法规自动生成用户故事和验收测试场景的方法，验证其能从软件初期确保合规。
2026-08-13 cs.SE
Regulatory Requirements Engineering in Large Enterprises: An Interview Study on the European Accessibility Act
本研究以《欧洲无障碍法案》为例，通过对三家大型企业的访谈探索法规影响分析（RIA）这一法规需求工程流程，揭示其协作模式、支撑制品与现存挑战，指出目前缺乏相关制品的成熟管理实践。
2024-09-11 cs.CY cs.SE
Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks
本研究针对大语言模型在需求合规检查中信息检索与推理能力不足的问题，提出结合Graph-RAG框架与思维链、思维树等提示工程技术的方案，相比基线方法显著提升了准确性与上下文感知能力，同时指出了其成本、适配性与数据依赖方面的局限。
2024-12-11 cs.IR cs.SE
Agile V: A Compliance-Ready Framework for AI-Augmented Engineering -- From Concept to Audit-Ready Delivery
Agile V通过整合敏捷迭代与V模型验证，实现任务级验证和审计文档自动生成，提升AI增强工程的合规性和效率。
2026-02-24 cs.AI cs.MA cs.SE
