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 条
  • [41] Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models
    Somogyi N.
    Mezei G.
    SN Computer Science, 5 (5)
  • [42] Formal models in web based contracting
    Machado, Jose
    Andrade, Francisco
    Neves, Jose
    Novais, Paulo
    Analide, Cesar
    2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WORKSHOPS PROCEEDINGS, 2006, : 548 - +
  • [43] On bridging simulation and formal verification
    Goldberg, Eugene
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 127 - 141
  • [44] Learning models based on formal concept
    Qiu, Guo-Fang
    ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2007, 4481 : 419 - 426
  • [45] Exploring MDE techniques for engineering simulation models
    Zhu, Zhi
    Lei, Yonglin
    Li, Qun
    Zhu, Yifan
    WIRELESS NETWORKS, 2021, 27 (05) : 3549 - 3560
  • [46] MDE-Based Approach for Accelerating the Development of Recommender Systems in Smart Tourism
    Souha, Adnane
    Ouaddi, Charaf
    Benaddi, Lamya
    Naimi, Lahbib
    Bouziane, El Mahi
    Jakimi, Abdeslam
    IEEE ACCESS, 2025, 13 : 31615 - 31629
  • [47] Extending IP-XACT to support an MDE based approach for SoC design
    El Mrabti, Amin
    Petrot, Frederic
    Bouchhima, Aimen
    DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 586 - 589
  • [48] An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
    Doux, Guillaume
    Albert, Patrick
    Barbier, Gabriel
    Cabot, Jordi
    Del Fabro, Marcos Didonet
    Lee, Scott Uk-Jin
    MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 160 - 171
  • [49] An MDE-based approach for self-adaptive RTES model generation
    Mouna Ben Said
    Yessine Hadj Kacem
    Mickaël Kerboeuf
    Mohamed Abid
    Cluster Computing, 2020, 23 : 925 - 951
  • [50] Towards an MDE-Based Approach for Usability Evaluation of Plastic User Interface
    Ben Ammar, Lassaad
    Mahfoudhi, Adel
    Kacem, Yessine Hadj
    2013 INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS TECHNOLOGY (ICCAT), 2013,
12345