État de l'art sur le développement logiciel basé sur les transformations de modèles

MDE (Model-Driven Engineering) is a recent software engineering discipline that focuses on models within the software development process. It has allowed several significant improvements in the development of complex software systems by providing the means that enable to switch from one abstraction level to another or from one modelling space to another. However, models management may be tedious and costly. Thus, it is necessary to provide some flexible and reliable tools for automatic management of models and some specific languages for their transformations in order to live up to users’ expectations. In this paper, we present the state of the art of recent works in the MDE domain by focusing on models transformation which constitutes the central topic of this discipline.

[1]  Yves Le Traon,et al.  Test de Transformation de Modèles : Expression d'Oracles , 2008 .

[2]  James Davis,et al.  GME: the generic modeling environment , 2003, OOPSLA '03.

[3]  Benoît Combemale.  Approche de métamodélisation pour la simulation et la vérification de modèle - Application à l'ingénierie des procédés. (Metamodeling Approach for Model Simulation and Verification ~ Application to Process Engineering) , 2008 .

[4]  Philippe Dhaussy,et al.  La description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles , 2008 .

[5]  Gabor Karsai,et al.  MULTIGRAPH: an architecture for model-integrated computing , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[6]  Frank Marschall,et al.  Model Transformations for the MDA with BOTL , 2003 .

[7]  J. Favre,et al.  L'ingénierie dirigée par les modèles : au-delà du MDA , 2006 .

[8]  Pierre-Alain Muller.  De la modélisation objet des logiciels à la metamodélisation des langages informatiques , 2006 .

[9]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[10]  Ivan Porres,et al.  Coral : A Metamodel Kernel for Transformation Engines , 2004 .

[11]  Jorge Luis Pérez-Medina,et al.  Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine , 2007, INFORSID.

[12]  Reda Bendraou.  Uml4spm : un @langage de modélisation de procédés de développement logiciel exécutable et orienté modèle , 2007 .

[13]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[14]  Adil Anwar,et al.  Vers une approche à base de règles pour la composition de modèles. Application au profil VUML , 2007, Obj. Logiciel Base données Réseaux.

[15]  Bernard Coulette,et al.  Broadening the Use of Process Patterns for Modeling Processes , 2007, SEKE.

[16]  Francis Alizon,et al.  Les modèles dans l'action à France Télécom avec SmartQVT , 2008 .

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

[18]  Jean Bézivin,et al.  PROMESSES ET INTERROGATIONS DE L'APPROCHE MDA , 2002 .

[19]  Jean Bézivin.  Sur les principes de base de l'ingénierie des modèles , 2004, Obj. Logiciel Base données Réseaux.

[20]  Prawee Sriplakich.  ModelBus : un environnement réparti et ouvert pour l'ingénierie de modèles , 2007 .

[21]  Gaëlle Calvary,et al.  Ingénierie de l'Interaction Homme-Machine Dirigée par les Modèles , 2005 .

[22]  Juha-Pekka Tolvanen,et al.  MetaEdit+: defining and using domain-specific modeling languages and code generators , 2003, OOPSLA '03.

[23]  Holger Giese,et al.  Tool Integration at the Meta-Model Level within the FUJABA Tool Suite , 2003 .

[24]  Edward D. Willink.  UMLX : A graphical transformation language for MDA , 2003 .

[25]  Xavier Blanc.  MDA en action : Ingénierie logicielle guidée par les modèles , 2005 .

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