Detection of Conflicting Compliance Rules - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Detection of Conflicting Compliance Rules

François Hantry
  • Fonction : Auteur
  • PersonId : 987722
Mohand-Said Hacid
Romuald Thion

Résumé

Web-based dynamic systems and pressured business environments need more than ever formal methods to analyze evolving compliance rules. Providing adequate tools to tackle the problem of debugging conflicting temporal compliance rules is an ongoing research topic. This problem is of paramount importance to achieve automatic support for early declarative design and to support evolution of rules in contract-based or service-based systems. In this paper we investigate the problem of extracting temporal unsatisfiable cores in order to detect the inconsistent part of a specification. We survey existing techniques to extract core and propose the sketch of a new depth-first-search model checking which also enables to extract small unsatisfiable cores. We illustrate the promising idea on rich and complex examples.
Fichier non déposé

Dates et versions

hal-01354868 , version 1 (19-08-2016)

Identifiants

Citer

François Hantry, Mohand-Said Hacid, Romuald Thion. Detection of Conflicting Compliance Rules. IEEE 15th International Enterprise Distributed Object Computing Conference Workshops (EDOCW), Aug 2011, Helsinki, Finland. pp.419-428, ⟨10.1109/EDOCW.2011.57⟩. ⟨hal-01354868⟩
259 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More