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 条
  • [31] A Formal Approach for Consistency Management in UML Models
    Wen, Hao
    Wu, Jinzhao
    Jiang, Jianmin
    Tang, Guofu
    Hong, Zhong
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2023, 33 (05) : 733 - 763
  • [32] Formal approach to integrating feature and architecture models
    Janota, Mikolas
    Botterweek, Goetz
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 31 - +
  • [33] Formal variable separation approach for nonintegrable models
    Lou, SY
    Chen, LL
    JOURNAL OF MATHEMATICAL PHYSICS, 1999, 40 (12) : 6491 - 6500
  • [34] A formal approach for the analysis of BPMN collaboration models
    Corradini, Flavio
    Fornari, Fabrizio
    Polini, Andrea
    Re, Barbara
    Tiezzi, Francesco
    Vandin, Andrea
    JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 180
  • [35] A Formal Approach for the Iterative Design of Behavioural Models
    Wang, Chen-Wei
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 505 - 510
  • [36] A formal approach to implement access control models
    Jaume, Mathieu
    Morisset, Charles
    JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2006, 1 (02): : 137 - 148
  • [37] Balancing Organizational Regulation and Agent Autonomy: An MDE-Based Approach
    Penserini, Loris
    Dignum, Virginia
    Staikopoulos, Athanasios
    Aldewereld, Huib
    Dignum, Frank
    ENGINEERING SOCIETIES IN THE AGENTS WORLD X, 2009, 5881 : 197 - +
  • [38] Modeling Contextualized Flexible Cloud Workflow Services: An MDE based approach
    Lassoued, Yosra
    Nurcan, Selmin
    2017 11TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2017, : 44 - 55
  • [39] Co-evolving meta-models and their instance models: A formal approach based on graph transformation
    Mantz, Florian
    Taentzer, Gabriele
    Lamo, Yngve
    Wolter, Uwe
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 104 : 2 - 43
  • [40] Exploring MDE techniques for engineering simulation models
    Zhi Zhu
    Yonglin Lei
    Qun Li
    Yifan Zhu
    Wireless Networks, 2021, 27 : 3549 - 3560
12345