A Framework to Formalise the MDE Foundations

  • Thirioux X
  • Combemale B
  • Crégut X
 et al. 
  • 16


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


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.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

There are no full text links


  • Xavier Thirioux

  • Benoit Combemale

  • Xavier Crégut

  • Pierre-Loïc Garoche

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free