Detection of Conflicting Compliance Rules

François Hantry 1 Mohand-Said Hacid 1 Romuald Thion 1
1 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01354868
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Friday, August 19, 2016 - 5:46:56 PM
Last modification on : Tuesday, February 26, 2019 - 11:49:44 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

391