[论文解读] Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web

Adrian Paschke|ArXiv.org|Sep 21, 2006

Logic, Reasoning, and Knowledge参考文献 21被引用 10

一句话总结

本文提出了一种适用于语义网中基于规则的策略与合约的验证、验证与完整性（V&V&I）的测试驱动开发方法。通过将测试用例直接集成到逻辑编程中，使用扩展的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）作为表示策略与合约的共同基础，以支持形式化语义与执行可追溯性。
• 在ContractLog KR系统中实现该方法，使用Prova开源规则引擎验证测试用例，并确保在分布式规则集之间保持语义一致性。
• 引入元测试以验证推理环境的行为与语义，确保在开放、分布式环境中正确性与稳定性。

实验结果

研究问题

• RQ1 如何有效将测试驱动开发适配于基于规则的策略与合约的验证、验证与完整性测试？
• RQ2 哪些机制能够实现分布式且演化的环境中基于规则的策略的可靠、可追溯与可互操作的测试？
• RQ3 如何有意义地衡量并应用测试覆盖率与功能测试于基于逻辑编程的策略与合约系统？
• RQ4 标准化且可扩展的标记语言在实现规则交换与测试用例在不同规则引擎间的可移植性方面发挥何种作用？
• RQ5 如何在不依赖规则库的前提下，独立验证推理环境的完整性约束与语义属性？

主要发现

• 该测试驱动方法通过聚焦于行为结果而非内部规则结构或执行轨迹，显著降低了规则工程师的认知负荷。
• 通过扩展的RuleML语法将测试用例集成到逻辑编程中，实现了与生产者无关的、可互操作的基于规则的策略与合约测试。
• 测试覆盖率与功能测试可系统性地应用于基于规则的系统，从而在动态、分布式环境中提升可靠性与可预测性。
• 该方法同时支持设计时的静态验证与运行时的动态测试，增强了对演进中策略与合约规范的全生命周期管理。
• 在ContractLog KR系统中使用Prova的实现，证明了该方法在真实世界复杂SLA开发项目中的可行性与实用性。
• 该方法在测试覆盖率与成本之间实现了实际的平衡，符合80-20法则，即在某一临界点后，覆盖率的增量收益逐渐减少。