[論文レビュー] 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）における実世界の事例研究により、目標分解、タスクの分担、議論木を用いた準拠のモデル化が可能であることが示され、反復的議論を通じて準拠性が体系的に検証可能で、挑戦可能であることが明らかになった。