Automatically Summarizing all the Problems of a Rule-Based System - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

Automatically Summarizing all the Problems of a Rule-Based System

Résumé

Looking for conflicts in software policies is a critical activity in many contexts, like security, expert systems, and databases. These policies are often written or specified as logical rule-based systems, which is a flexible and modular formalism. However, this formalism does not guarantee by itself the safety of the system. While several works address conflict detection, as far as we know there is little research on making explicit all these problems in an abstract and simplified form. In this paper, we compare different techniques to extract all the problems in a rule-based system. We define an exact algorithm and an application on three middle-size case studies, but as expected with poor time performances. We improve this with a combine algorithm and a few simple heuristics that accelerate the computation of all the problems in the case studies by several orders of magnitude.
Fichier principal
Vignette du fichier
main.pdf (434.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02432411 , version 1 (08-01-2020)

Identifiants

  • HAL Id : hal-02432411 , version 1

Citer

Jean-Claude Royer, Massimo Tisi. Automatically Summarizing all the Problems of a Rule-Based System. [Research Report] IMT Atlantique. 2020. ⟨hal-02432411⟩
61 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More