Transformation de modèles

En ingénierie dirigée par les modèles, une transformation de modèles est un programme qui permet de générer automatiquement et de modifier des modèles. Tout comme les métamodèles, les transformations de modèles sont un concept central de l'ingénierie dirigée par les modèles[1]. Il existe plusieurs standards de transformations de modèles comme QVT ou MOFM2T ainsi que de nombreux langages de transformation de modèles comme ATL.

Principe d'une transformation de modèles entre deux métamodèles

Définition

Une transformation est la génération automatique d'un modèle cible à partir d'un modèle source[2].

Classification

Transformations endogènes et exogènes

Une transformation est dite endogène lorsque son modèle source et son modèle cible instancient le même métamodèle[3]. Par exemple, le réusinage de code ou l'optimisation de code sont des transformations endogènes[4]. Au contraire, une transformation est dite exogène lorsque son modèle source et son modèle cible n'instancient pas le même métamodèle[3]. C'est notamment le cas en rétro-ingénierie[3].

Transformations horizontales et verticales

Une transformation est dite horizontale lorsque son modèle source et son modèle cible se trouvent au même niveau d'abstraction[4]. Par exemple, la migration d'un programme de Java à C++ est un exemple de transformation horizontale[5]. En revanche, une transformation est dite verticale lorsqu'elle opère à des niveaux d'abstraction différents[4]. Le raffinement est une transformation verticale[5].

Transformations syntaxiques et sémantiques

Une transformation est dite syntaxique lorsqu'elle n'utilise que la syntaxe du ou des modèles source[5]. Ainsi, la génération d'un arbre syntaxique à partir de code source par un analyseur syntaxique est une transformation syntaxique[5]. Lorsque des traitements plus complexes prenant en compte la sémantique des modèles sont effectués, la transformation est dite sémantique[5].

Transformations bidirectionnelles et unidirectionnelles

Une transformation est dite bidirectionnelle (en abrégé : bx[6]) si tous les modèles qu'elle comprend peuvent être à la fois des modèles source et cible[7]. Autrement dit, tous les modèles peuvent être modifiés durant une exécution de la transformation. Dans le cas contraire, la transformation est dite unidirectionnelle. Les transformations bidirectionnelles forment une classe importante des transformations de modèles. Elles interviennent naturellement lorsque plusieurs modèles doivent rester cohérents entre eux : les modifications d'un modèle doivent alors se répercuter sur les autres modèles[8].

Références

Annexes

Bibliographie

 : document utilisé comme source pour la rédaction de cet article.

  • (en) Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna et Perdita Stevens, « Introduction to Bidirectional Transformations », Lecture Notes in Computer Science « Bidirectional Transformations », , p. 1-28 (lire en ligne). 
  • (en) Anneke Kleppe, Jos Warmer et Wim Bast, MDA Explained: The Model Driven Architecture: Practice and Promise, (lire en ligne). 
  • (en) Tom Mens et Pieter Van Gorp, « A Taxonomy of Model Transformation », Electronic Notes in Theoretical Computer Science, . 
  • (en) Shane Sendall et Wojtek Kozaczynski, « Model transformation: the heart and soul of model-driven software development », IEEE Software, . 
  • (en) Perdita Stevens, « Bidirectional model transformations in QVT: semantic issues and open questions », Software & Systems Modeling, (lire en ligne, consulté le ). 

Voir aussi

  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.