A Framework to Formalise the MDE Foundations

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.

[1]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[2]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[3]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[4]  Jim Steel,et al.  On model typing , 2007, Software & Systems Modeling.

[5]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[6]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[7]  Sherif Abdelwahed,et al.  Semantic Anchoring with Model Transformations , 2005, ECMDA-FA.

[8]  Jean Bézivin,et al.  Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs , 2006 .

[9]  Jean Bézivin,et al.  In Search of a Basic Principle for Model Driven Engineering , 2004 .

[10]  Jean Bézivin,et al.  KM3: A DSL for Metamodel Specification , 2006, FMOODS.

[11]  Marie-Pierre Gervais,et al.  Model Bus: Towards the Interoperability of Modelling Tools , 2003, MDAFA.

[12]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[13]  Benoît Combemale,et al.  Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study , 2007, ICEIS.

[14]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[15]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.

[16]  Hugo Herbelin,et al.  The Coq proof assistant : reference manual, version 6.1 , 1997 .

[17]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[18]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[19]  Yuri Gurevich.  The Abstract State Machine Paradigm: What Is in and What Is out , 2001, Ershov Memorial Conference.

[20]  Jean-Marc Jézéquel,et al.  Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.