Skip to Main content Skip to Navigation
Conference papers

A Framework to Formalise the MDE Foundations

Abstract : Domain-Specific Language (DSL) are getting more and more popular and are being used in critical systems like aerospace and car industries. Methods for simulating and validating DSL models are now necessary in order to make the new software generation more reliable and less costly. Developing analysis tools for DSL requires the definition of models semantics. In this paper, we propose a framework to give a formal foundation of the Model-Driven Engineering (MDE) approach. We separate the usually common notions of models and modelling languages associating to each of them a different goal. In order to prove the consistency of our proposal we express a subset of EMOF, its static semantics and validate its meta-circularity.
Document type :
Conference papers
Complete list of metadata
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Sunday, July 8, 2007 - 10:01:11 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:44 PM
Long-term archiving on: : Friday, November 25, 2016 - 6:22:54 PM


  • HAL Id : hal-00159748, version 2


Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche. A Framework to Formalise the MDE Foundations. International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30. ⟨hal-00159748v2⟩



Les métriques sont temporairement indisponibles