A MDE based approach for bridging formal models

被引：2
|
作者：
Zhang, Tian [1 ,2 ,3 ]
Jouault, Frederic [3 ]
Bezivin, Jean [3 ]
Zhao, Jianhua [1 ,2 ,3 ]
机构：
[1] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China
[2] Nanjing Univ, Dept Comp Sci & Technol, Nanjing 210093, Peoples R China
[3] Nantes Univ, ATLAS Team, INRIA & LINA, F-44300 Nantes, France
来源：
TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS | 2008年
基金：
中国国家自然科学基金;
关键词：
D O I：
10.1109/TASE.2008.21
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Different formal methods have presented plenty of formal models for system specification and proof Hence the problem of bridging these formal models rises. MDE is a new paradigm in software engineering, which implements software by (meta-)modeling and model transforming. In this paper we provide a MDE based approach for bridging heterogeneous formal models: Firstly, the heterogeneous formal models are introduced into MDE as domain specific languages by metamodeling. Then, transformation rules are built for semantics mapping. At last, model-text syntax rules are developed, so as to map models to programs. Our approach could be applied on formal models in both graphical style and grammatical style. A case study of bridging MARTE to LOTOS is also illustrated showing the validity and practicability of our approach.
引用
收藏
页码：113 / +
页数：2
相关论文
共 50 条
  • [1] Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach
    Hacid, Kahina
    Ait-Ameur, Yamine
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 340 - 357
  • [2] A formal approach to the specification and transformation of constraints in MDE
    Rutle, Adrian
    Rossini, Alessandro
    Lamo, Yngve
    Wolter, Uwe
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (04): : 422 - 457
  • [3] Formal MDE-based tool development
    Silva, Robson
    Mota, Alexandre
    Starr, Rodrigo Rizzi
    Advances in Intelligent Systems and Computing, 2014, 263 : 105 - 125
  • [4] A MDE Approach for Heterogeneous Models Consistency
    El Hamlaoui, Mahmoud
    Bennani, Saloua
    Nassar, Mahmoud
    Ebersold, Sophie
    Coulette, Bernard
    PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2018, : 180 - 191
  • [5] Formal verification of static software models in MDE: A systematic review
    Gonzalez, Carlos A.
    Cabot, Jordi
    INFORMATION AND SOFTWARE TECHNOLOGY, 2014, 56 (08) : 821 - 838
  • [6] Formal verification of IoT applications using rewriting logic: An MDE-based approach
    Fortas, Abdelouahab
    Kerkouche, Elhillali
    Chaoui, Allaoua
    SCIENCE OF COMPUTER PROGRAMMING, 2022, 222
  • [7] Towards an approach of formal verification of mediation protocol based on web services of MDE type
    Graiet, Mohamed
    Maraoui, Raoudha
    Kmimech, Mourad
    Bhiri, Mohamed Tahar
    Gaaloul, Walid
    INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2012, 8 (01) : 32 - +
  • [8] Formal Verification for Embedded Systems Design Based on MDE
    Moreira do Nascimento, Francisco Assis
    da Silva Oliveira, Marcio Ferreira
    Wagner, Flavio Rech
    ANALYSIS, ARCHITECTURES AND MODELLING OF EMBEDDED SYSTEMS, 2009, 310 : 159 - +
  • [9] An MDE-based method for bridging different design notations
    Zhang, Tian
    Jouault, Frederic
    Bezivin, Jean
    Li, Xuandong
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 203 - 213
  • [10] Resolving Platform Specific Models at Runtime Using an MDE-Based Trading Approach
    Criado, Javier
    Iribarne, Luis
    Padilla, Nicolas
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, 2013, 8186 : 274 - 283
12345