首页 | 本学科首页   官方微博 | 高级检索  
     


An MDE-based method for bridging different design notations
Authors:Tian Zhang  Frédéric Jouault  Jean Bézivin  Xuandong Li
Affiliation:(1) State Key Laboratory for Novel Software Technology, Nanjing University, 210093 Nanjing, Jiangsu, P.R.China;(2) AtlanMod team, INRIA and EMN, EMN. 4, rue Alfred Kastler, 44307 Nantes, France
Abstract:Different communities have developed plenty of design notations for software engineering in support of practical (via UML) and rigorous (via formal methods) approaches. Hence the problem of bridging these notations rises. Model-driven engineering (MDE) is a new paradigm in software engineering, which treats models and model transformations as first class citizens. Furthermore, it is seen as a promising method for bridging heterogeneous platforms. In this paper, we provide an MDE-based approach to build bridges between informal, semi-formal and formal notations: Firstly, different notations are viewed as different domain specification languages (DSLs) and introduced into MDE, especially into the ATLAS Model Management Architecture (AMMA) platform, by metamodeling. Then, ATL transformation rules are built for semantics mapping. At last, TCS-based model-to-text syntax rules are developed, allowing one to map models to programs. Consequently, different design notations in both graphical style and grammatical style are bridged. A case study of bridging OMG SysML™ to LOTOS is also illustrated showing the validity and practicability of our approach.
Keywords:MDE  UML  Formal methods  LOTOS
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号