Automated verification of model transformations based on visual contracts

被引：0
|
作者：
Esther Guerra
Juan de Lara
Manuel Wimmer
Gerti Kappel
Angelika Kusel
Werner Retschitzegger
Johannes Schönböck
Wieland Schwinger
机构：
[1] Universidad Autónoma de Madrid,
[2] Vienna University of Technology,undefined
[3] Johannes Kepler University Linz,undefined
来源：
Automated Software Engineering | 2013年 / 20卷
关键词：
Model-Driven Engineering; Model transformation; Contract-based specification; Verification; QVT-relations;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Model-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach.
引用
收藏
页码：5 / 46
页数：41
相关论文
共 50 条
  • [1] Automated verification of model transformations based on visual contracts
    Guerra, Esther
    de Lara, Juan
    Wimmer, Manuel
    Kappel, Gerti
    Kusel, Angelika
    Retschitzegger, Werner
    Schoenboeck, Johannes
    Schwinger, Wieland
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2013, 20 (01) : 5 - 46
  • [2] On the specification, verification and implementation of model transformations with transformation contracts
    Instituto de Computação, Universidade Federal Fluminense, Brazil
    [J]. Lect. Notes Comput. Sci., (108-123):
  • [3] On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts
    Braga, Christiano
    Menezes, Roberto
    Comicio, Thiago
    Santos, Cassio
    Landim, Edson
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS: SBMF 2011, 2011, 7021 : 108 - 123
  • [4] Automated Verification of Model Transformations in the Automotive Industry
    Selim, Gehan M. K.
    Buettner, Fabian
    Cordy, James R.
    Dingel, Juergen
    Wang, Shige
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 690 - 706
  • [5] Towards an Automated Test Generation for the Verification of Model Transformations
    Lamari, Maher
    [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 998 - 1005
  • [6] VIATRA -: Visual automated transformations for formal verification and validation of UML models
    Csertán, G
    Huszerl, G
    Majzik, I
    Pap, Z
    Pataricza, A
    Varró, D
    [J]. ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 267 - 270
  • [7] Model-Based Verification of Safety Contracts
    Gomez-Martinez, Elena
    Rodriguez, Ricardo J.
    Etxeberria Elorza, Leire
    Illarramendi Rezabal, Miren
    Benac Earle, Clara
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 101 - 115
  • [8] Automated Formal Verification of Model Transformations Using the Invariants Mechanism
    Ulitin, Boris
    Babkin, Eduard
    Babkina, Tatiana
    Vizgunov, Arsenii
    [J]. PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, BIR 2019, 2019, 365 : 59 - 73
  • [9] An Automated Verification Framework for HalideIR-Based Compiler Transformations
    Wang, Yanzhao
    Xie, Fei
    Yang, Zhenkun
    Casas, Jeremy
    Cocchini, Pasquale
    Yang, Jin
    [J]. 2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
  • [10] Automated formal verification of visual modeling languages by model checking
    Dániel Varró
    [J]. Software & Systems Modeling, 2004, 3 (2) : 85 - 113
12345