Detection of conflicting Compliance rules

被引:1
|
作者
Hantry, Francois [1 ]
Hacid, Mohand-Said [1 ]
Thion, Romuad [1 ]
机构
[1] Univ Claude Bernard Lyon 1, LIRIS CNRS UMR 5205, Villeurbanne, France
来源
2011 15TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOC 2011) | 2011年
关键词
LOGIC;
D O I
10.1109/EDOCW.2011.57
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
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 provide a new depth-first-search model checking which also enables to extract small unsatisfiable cores.
引用
收藏
页码:419 / 428
页数:10
相关论文
共 50 条
  • [21] Priority rules as solutions to conflicting health care rights
    Andersson, Anna-Karin
    Lindemark, Frode
    Johansson, Kjell Arne
    MEDICINE HEALTH CARE AND PHILOSOPHY, 2017, 20 (01) : 67 - 76
  • [22] Lorenz comparisons of nine rules for the adjudication of conflicting claims
    Kristof Bosmans
    Luc Lauwers
    International Journal of Game Theory, 2011, 40 : 791 - 807
  • [23] Priority rules as solutions to conflicting health care rights
    Anna-Karin Andersson
    Frode Lindemark
    Kjell Arne Johansson
    Medicine, Health Care and Philosophy, 2017, 20 : 67 - 76
  • [24] Resolving conflicting international data privacy rules in cyberspace
    Reidenberg, JR
    STANFORD LAW REVIEW, 2000, 52 (05) : 1315 - 1371
  • [25] Two Efficient Combination Rules for Conflicting Belief Functions
    Li Bicheng
    Huang Jie
    Yin Hujun
    2009 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, VOL III, PROCEEDINGS, 2009, : 421 - +
  • [26] Convergence under replication of rules to adjudicate conflicting claims
    Chun, Y
    Thomson, W
    GAMES AND ECONOMIC BEHAVIOR, 2005, 50 (02) : 129 - 142
  • [27] Lorenz comparisons of nine rules for the adjudication of conflicting claims
    Bosmans, Kristof
    Lauwers, Luc
    INTERNATIONAL JOURNAL OF GAME THEORY, 2011, 40 (04) : 791 - 807
  • [28] Globalisation Rules and China's Compliance
    Chan, Gerald
    CHINA REPORT, 2005, 41 (01) : 59 - 67
  • [29] The hidden compliance zone of fiscal rules
    Parro, Francisco
    APPLIED ECONOMICS LETTERS, 2023, 30 (12) : 1661 - 1670
  • [30] Conflicting Information and Compliance with COVID-19 Behavioral Recommendations
    Naugle, Asmeret
    Rothganger, Fred
    Verzi, Stephen
    Doyle, Casey
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2022, 25 (04):