[论文解读] Theory of Regulatory Compliance for Requirements Engineering

Ivan Jureta, Alberto Siena+3 more|arXiv (Cornell University)|Feb 19, 2010

Multi-Agent Systems and Negotiation参考文献 15被引用 5

一句话总结

本文提出了一种形式化、基于论证的监管合规理论，用于需求工程，将合规定义为要求与法律规范一致的论证可接受性。该理论引入了一种非单调框架，使用 Nómos 语言和合规流程，通过利益相关者可接受的推理来验证对齐关系，关键结果已在真实世界的医疗保健案例研究中得到验证。

ABSTRACT

Regulatory compliance is increasingly being addressed in the practice of requirements engineering as a main stream concern. This paper points out a gap in the theoretical foundations of regulatory compliance, and presents a theory that states (i) what it means for requirements to be compliant, (ii) the compliance problem, i.e., the problem that the engineer should resolve in order to verify whether requirements are compliant, and (iii) testable hypotheses (predictions) about how compliance of requirements is verified. The theory is instantiated by presenting a requirements engineering framework that implements its principles, and is exemplified on a real-world case study.

研究动机与目标

• 解决需求工程中监管合规缺乏理论基础的问题。
• 以形式化、系统化的方式定义要求与法律规范一致的含义。
• 将合规问题形式化为需求工程师可验证的工程挑战。
• 提出关于合规验证在实践中如何发生的可测试假设。
• 提供一个框架和方法论，以系统方式确保需求规格说明过程中的合规性。

提出的方法

• 定义需求规格 R 与规范性框架 C 之间的合规关系 |∽C，其基础是论证而非真值函数逻辑。
• 使用由规范 L、需求 R、其规格 Spec(R) 和合规假设 C 组成的合规框架。
• 应用基于论证的语义，其中合规性由利益相关者可接受的论证决定，而非逻辑真值。
• 使用 Nómos 建模语言实现该理论，以形式化方式指定法律和需求。
• 开发一个系统化的合规流程，包括目标分解、任务委派和辩证论证树，以证明合规性。
• 采用非单调推理，使得新增需求（例如日志任务）可能推翻先前的合规结论，以反映现实世界中的动态变化。

实验结果

研究问题

• RQ1 什么形式化标准可定义一组需求与给定法律规范一致的条件？
• RQ2 需求工程师必须解决的合规问题的精确本质是什么？
• RQ3 如何通过关于论证可接受性的可测试假设来实现合规验证的可操作化？
• RQ4 如何使用基于论证的推理，以非单调且利益相关者可接受的方式建模和验证合规性？
• RQ5 该框架如何在真实世界的监管环境中实例化并得到验证？

主要发现

• 本文建立了形式化的合规关系 |∽C，定义了需求规格在何时与规范性框架一致。
• 合规性并非真值函数属性，而是论证性属性：只有当支持合规主张的论证被利益相关者接受时，该主张才有效。
• 合规问题被形式化定义为构建并验证一个论证的任务，即给定的一组需求满足相关法律规范。
• 该框架是非单调的：新增需求（如日志任务）可能使先前的合规结论失效，反映了真实监管环境的复杂性。
• Nómos 语言支持对法律规范和需求进行形式化建模，从而支持系统化的合规分析。
• 在医疗保健（HIPAA）的真实世界案例研究中，展示了该框架通过目标分解、任务委派和论证树建模合规性的能力，表明合规性可通过迭代论证系统性地验证和挑战。