面向合规检查应用的无状态基于规则的验证
软件工程
2022-05-02 v2 人工智能
计算机科学中的逻辑
摘要
底层计算模型在任何计算中都具有重要作用。状态与转移（如自动机中）以及规则与值（如 Lisp 与逻辑编程中）是两种可比较且对应的计算模型。演绎与模型检测两种验证技术都依赖于状态概念，因此其底层计算模型是状态相关的。某些验证问题（例如合规检查，即依据若干法规与规则对处于合规状态下的系统进行验证）并没有强烈的状态或转移概念，取而代之的是，这些系统具有强烈的值符号概念以及定义于其上的声明式规则。SARV（Stateless And Rule-Based Verification，无状态基于规则的验证）是一个旨在简化无状态基于规则的验证问题（如合规检查）整体验证过程的验证框架。本文提出一个用于构建智能合规检查系统的形式化基于逻辑的框架。我们定义并介绍了该框架，报告了一个案例研究并给出了相关实验结果。该案例研究涉及智能城市的协议合规检查。利用该方案，勾勒并建模了一个救援场景用例及其合规检查。介绍了一种 SARV 的自动化引擎与合规解决方案。基于 300 次数据实验，该基于 SARV 的合规方案在包含 3125 条记录的软件质量数据集上优于著名的机器学习方法。
引用
@article{arxiv.2204.07430,
title = {Stateless and Rule-Based Verification For Compliance Checking Applications},
author = {Mohammad Reza Besharati and Mohammad Izadi and Ehsaneddin Asgari},
journal= {arXiv preprint arXiv:2204.07430},
year = {2022}
}