Xavier Thirioux, Benoît Combemale, Xavier Crégut, and Pierre-Loïc Garoche (2007)
A Framework to Formalise the MDE Foundations
In: TOOLS EUROPE workshop on TOWERS, Zurich, Switzerland.
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.