Exploring inconsistencies between modal transition systems

被引:0
|
作者
Mathieu Sassolas
Marsha Chechik
Sebastian Uchitel
机构
[1] Université Pierre & Marie Curie,
[2] LIP6/MoVe,undefined
[3] CNRS UMR 7606,undefined
[4] University of Toronto,undefined
[5] University of Buenos Aires,undefined
[6] Imperial College,undefined
来源
Software & Systems Modeling | 2011年 / 10卷
关键词
Labelled transition systems; Inconsistency identification and resolution; -Calculus; Distinguishing property; Graphical feedback;
D O I
暂无
中图分类号
学科分类号
摘要
It is commonplace to have multiple behaviour models that describe the same system but have been produced by different stakeholders or synthesized from different sources. Although in practice, such models frequently exhibit inconsistencies, there is a lack of tool support for analyzing them. There are two key difficulties in explaining why two behavioural models are inconsistent: (1) explanations often require branching structures rather than linear traces, or scenarios; and (2) there can be multiple sources of inconsistency and many different ways of explaining each one. In this paper, we present an approach that supports exploration of inconsistencies between modal transition systems, an extension to labelled transition systems. We show how to produce sound graphical explanations for inconsistencies, how to compactly represent all possible explanations in a composition of the models being compared, and how modelers can use this composition to explore the explanations encoded therein.
引用
收藏
页码:117 / 142
页数:25
相关论文
共 50 条
  • [21] Extending modal transition systems with structured labels
    Bauert, Sebastian S.
    Juhl, Line
    Larsen, Kim G.
    Legay, Axel
    Srba, Jiri
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2012, 22 (04) : 581 - 617
  • [22] Modal Transition Systems: Composition and LTL Model Checking
    Benes, Nikola
    Cerna, Ivana
    Kretinsky, Jan
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 228 - 242
  • [23] General quantitative specification theories with modal transition systems
    Fahrenberg, Uli
    Legay, Axel
    ACTA INFORMATICA, 2014, 51 (05) : 261 - 295
  • [24] General quantitative specification theories with modal transition systems
    Uli Fahrenberg
    Axel Legay
    Acta Informatica, 2014, 51 : 261 - 295
  • [25] Enforcing opacity of regular predicates on modal transition systems
    Darondeau, Philippe
    Marchand, Herve
    Ricker, Laurie
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (1-2): : 251 - 270
  • [26] Synthesizing Modal Transition Systems from Triggered Scenarios
    Sibay, German Emir
    Braberman, Victor
    Uchitel, Sebastian
    Kramer, Jeff
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (07) : 975 - 1001
  • [27] Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
    ter Beek, Maurice H.
    Damiani, Ferruccio
    Gnesi, Stefania
    Mazzanti, Franco
    Paolini, Luca
    INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 542 - 546
  • [28] A modal mu-calculus for durational transition systems
    Seidl, H
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 128 - 137
  • [29] Enforcing opacity of regular predicates on modal transition systems
    Philippe Darondeau
    Hervé Marchand
    Laurie Ricker
    Discrete Event Dynamic Systems, 2015, 25 : 251 - 270
  • [30] Evidence of a continuous transition between modal and amodal completions
    Scherzer, Tom
    PERCEPTION, 2022, 51 : 44 - 44