A MDE Based Approach for Bridging Formal Models
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.
Tian Zhang Frederic Jouault Jean Bezivin Jianhua Zhao
State Key Laboratory for Novel Software Technology Department of Computer Science & Technology Nanji ATLAS team, INRIA & LINA Nantes University, 44300 Nantes, France State Key Laboratory for Novel Software Technology Department of Computer Science & Technology Nanji
国际会议
南京
英文
113-116
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）