[논문 리뷰] Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web

Adrian Paschke|ArXiv.org|2006. 09. 21.

Logic, Reasoning, and Knowledge참고 문헌 21인용 수 10

한 줄 요약

이 논문은 의미 웹에서 규칙 기반 정책 및 계약의 검증, 검사, 무결성(V&V&I)을 위한 테스트 주도 개발(TDD) 접근법을 제안한다. 확장된 RuleML 문법을 통해 테스트 케이스를 논리 프로그래밍에 직접 통합함으로써, 규칙 복잡도에 관계없이 동적이고 행동 중심의 테스트를 가능하게 하여 분산되고 진화하는 정책 시스템에서의 신뢰성과 추적 가능성을 향상시킨다.

ABSTRACT

Rule-based policy and contract systems have rarely been studied in terms of their software engineering properties. This is a serious omission, because in rule-based policy or contract representation languages rules are being used as a declarative programming language to formalize real-world decision logic and create IS production systems upon. This paper adopts an SE methodology from extreme programming, namely test driven development, and discusses how it can be adapted to verification, validation and integrity testing (V&V&I) of policy and contract specifications. Since, the test-driven approach focuses on the behavioral aspects and the drawn conclusions instead of the structure of the rule base and the causes of faults, it is independent of the complexity of the rule language and the system under test and thus much easier to use and understand for the rule engineer and the user.

연구 동기 및 목표

• 규칙 기반 정책 및 계약 시스템에서 체계적인 검증, 검사, 무결성 테스팅(V&V&I)의 부족을 해결하기 위해.
• 익스트림 프로그래밍에서 유래한 애자일 테스트 주도 개발(TDD) 관행을 기술적 규칙 기반 정책 및 계약 공학 분야에 적응하기 위해.
• 의미 웹과 같은 분산되고 진화하는 환경에서 신뢰성 있고 추적 가능하며 상호운용 가능한 규칙 기반 정책 관리 방법을 제공하기 위해.
• 다양한 추론 환경과 규칙 교환 형식 간에 규칙 기반 계약의 동적 테스트 및 의미론적 검증을 지원하기 위해.
• 표준화되고 생산자에 종속되지 않는 마크업 언어를 사용하여 테스트 커버리지, 무결성 검사, 기능 테스트를 논리 프로그래밍 기반 정책 시스템에 통합하기 위해.

제안 방법

• 익스트림 프로그래밍에서 유래한 테스트 주도 개발(TDD) 원칙을 규칙 기반 정책 및 계약 시스템에 적용하여, 내부 구조나 실행 추적보다는 행동 중심의 테스트에 중점을 둔다.
• EBNF 표기법을 사용하여 논리 프로그래밍 프레임워크 내에서 테스트 세트, 테스트 케이스, 질의, 주장 및 예상 답변을 정의하는 공식적인 테스트 케이스 모델을 도입한다.
• 테스트 세트의 직렬화 및 교환을 가능하게 하기 위해 RuleML 규칙 마크업 언어에 전용 테스트 케이스 레이어를 확장한다.
• 논리 프로그래밍(LP)을 정책 및 계약을 표현하는 공통 기반으로 활용하여 형식적 의미론과 실행 추적 가능성을 보장한다.
• Prova 오픈소스 규칙 엔진을 사용하여 ContractLog KR 시스템에서 이 접근법을 구현함으로써, 테스트 케이스 검증 및 분산 규칙 세트 간 의미 일致성 확보를 수행한다.
• 추론 환경의 동작 방식과 의미론을 검증하기 위한 메타테스트를 도입하여, 개방적이고 분산된 환경에서의 정확성과 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 테스트 주도 개발이 규칙 기반 정책 및 계약의 검증, 검사, 무결성 테스팅에 효과적으로 적응될 수 있는가?
• RQ2 어떤 메커니즘이 분산되고 진화하는 환경에서 규칙 기반 정책의 신뢰성 있고 추적 가능하며 상호운용 가능한 테스팅을 가능하게 하는가?
• RQ3 테스트 커버리지와 기능 테스팅은 논리 프로그래밍 기반 정책 및 계약 시스템에 어떻게 의미 있게 측정되고 적용될 수 있는가?
• RQ4 표준화되고 확장 가능한 마크업 언어는 다양한 규칙 엔진 간 규칙 교환과 테스트 케이스 이식성 구현에 어떤 역할을 하는가?
• RQ5 무결성 제약 조건과 추론 환경의 의미론적 성질은 규칙 기반에 종속되지 않고 어떻게 독립적으로 검증될 수 있는가?

주요 결과

• 테스트 주도 접근법은 내부 규칙 구조나 실행 추적에 대한 고려를 줄여 규칙 엔지니어의 인지 부담을 크게 감소시킨다.
• 확장된 RuleML 문법을 통한 테스트 케이스 통합은 생산자에 종속되지 않고 상호운용 가능한 규칙 기반 정책 및 계약의 테스트를 가능하게 한다.
• 테스트 커버리지와 기능 테스팅은 규칙 기반 시스템에 체계적으로 적용될 수 있으며, 동적이고 분산된 환경에서의 신뢰성과 예측 가능성을 향상시킨다.
• 이 방법은 설계 시점의 정적 검증과 런타임 시점의 동적 테스트를 모두 지원하여 진화하는 정책 및 계약 사양의 수명 주기 관리 능력을 향상시킨다.
• Prova를 사용한 ContractLog KR 시스템에서의 구현은 이 방법론이 실제 복잡한 SLA 개발 프로젝트에서 실현 가능하고 실용적임을 보여준다.
• 이 방법은 테스트 커버리지와 비용 간의 실용적 균형을 달성하며, 커버리지 증가의 점진적 이득이 어느 정도를 넘어서면 감소하는 80-20 법칙에 부합한다.