CheckVML:: A tool for model checking visual modeling languages

被引：0
|
作者：
Schmidt, A [1 ]
Varró, D [1 ]
机构：
[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, H-1521 Budapest, Hungary
来源：
UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS | 2003年 / 2863卷
关键词：
visual modeling languages; metamodeling; graph transformation; model checking; formal verification;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In the paper, we present a tool for model checking dynamic consistency properties in arbitrary well-formed instance models of any modeling language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high-level specifications into a tool independent abstract representation of transition systems defined by a corresponding metamodel. From this intermediate representation the input language of the back-end model checker tool (i.e., SPIN in our case) is generated automatically.
引用
收藏
页码：92 / 95
页数：4
相关论文
共 50 条
  • [1] Automated formal verification of visual modeling languages by model checking
    Dániel Varró
    [J]. Software & Systems Modeling, 2004, 3 (2) : 85 - 113
  • [2] CWFDesigner: A Tool for Supporting the Visual Modeling and Analysis of Cloud Workflow with Various Modeling Languages
    Huang, Hua
    Peng, Rong
    Feng, Zaiwen
    [J]. PROCESS-AWARE SYSTEMS, 2016, 602 : 40 - 49
  • [3] Semi-Distributed LTL Model Checking for Actor Based Modeling Languages
    Khamespanah, Ehsan
    Razzazi, Mohamadreza
    [J]. 2009 INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS, 2009, : 265 - 269
  • [4] Evaluation of visual property specification languages based on practical model-checking experience
    Pakonen, Antti
    Buzhinsky, Igor
    Vyatkin, Valeriy
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 216
  • [5] Model checking agent programming languages
    Dennis, Louise A.
    Fisher, Michael
    Webster, Matthew P.
    Bordini, Rafael H.
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2012, 19 (01) : 5 - 63
  • [6] Model Checking Languages of Data Words
    Bollig, Benedikt
    Cyriac, Aiswarya
    Gastin, Paul
    Kumar, K. Narayan
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 391 - 405
  • [7] Model checking agent programming languages
    Louise A. Dennis
    Michael Fisher
    Matthew P. Webster
    Rafael H. Bordini
    [J]. Automated Software Engineering, 2012, 19 : 5 - 63
  • [8] Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
    Duran, Francisco
    Moreno-Delgado, Antonio
    Alvarez-Palomo, Jose M.
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2016), 2016, 9633 : 305 - 322
  • [9] A model for visual languages
    Varhol, P
    [J]. COMPUTER DESIGN, 1998, 37 (02): : 94 - 94
  • [10] SDLcheck:: A model checking tool
    Levin, V
    Yenigün, H
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 378 - 381
12345