Detection of Conflicting Compliance Rules - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Detection of Conflicting Compliance Rules

François Hantry
  • Function : Author
  • PersonId : 987722
Mohand-Said Hacid
Romuald Thion


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.
Not file

Dates and versions

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



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⟩
255 View
0 Download



Gmail Facebook Twitter LinkedIn More