[논문 리뷰] Theory of Regulatory Compliance for Requirements Engineering

Ivan Jureta, Alberto Siena외 3명|arXiv (Cornell University)|2010. 02. 19.

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)의 실제 사례 연구를 통해 목표 분해, 과업 위임, 논증 트리 등을 통해 준수를 모델링할 수 있음을 입증하였으며, 반복적인 논증을 통해 준수를 체계적으로 검증하고 도전할 수 있음을 보여주었다.