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 条
  • [21] Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach
    Hacid, Kahina
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 747 - 751
  • [22] A component-based approach to verification and validation of formal software models
    Desovski, Dejan
    Cukic, Bojan
    ARCHITECTING DEPENDABLE SYSTEMS IV, 2007, 4615 : 89 - +
  • [23] New approach on optimal decision making based on formal automata models
    Calin, Avram
    Adrian, Gligor
    Laura, Avram Eleonora
    INTERNATIONAL CONFERENCE EMERGING MARKETS QUERIES IN FINANCE AND BUSINESS, 2012, 3 : 852 - 857
  • [24] An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar
    Loukanova, Roussanka
    FUNDAMENTA INFORMATICAE, 2017, 152 (04) : 341 - 372
  • [25] MDE-Based Approach for Generalizing Design Space Exploration
    Saxena, Tripti
    Karsai, Gabor
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, 2010, 6394 : 46 - 60
  • [26] UML static models in formal approach
    Szlenk, Marcin
    BALANCING AGILITY AND FORMALISM IN SOFTWARE ENGINEERING, 2008, 5082 : 129 - 142
  • [27] Incremental Validation of Models in a MDE Approach Applied to the Modeling of Complex Data Structures
    Menet, Ludovic
    Lamolle, Myiam
    Le Dc, Chan
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010 WORKSHOPS, 2010, 6428 : 120 - 129
  • [28] A MDE approach for Language Engineering
    Gortazar, Francisco
    Duarte, Abraham
    Gallego, Micael
    ENASE 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2007, : 80 - 86
  • [29] An MDE-Based Graphical Tool for the Validation of MySQL Replication Models
    Bautista, Efrain
    La Serna, Nora
    2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2015, : 627 - 638
  • [30] Derivation of macroscopic equations for individual cell-based models: A formal approach
    Bodnar, M
    Velazquez, JJL
    MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2005, 28 (15) : 1757 - 1779
12345