A model transformation language in systems and software engineering is a language intended specifically for model transformation.
The notion of model transformation is central to model-driven development. A model transformation, which is essentially a program which operates on models, can be written in a general-purpose programming language, such as Java. However, special-purpose model transformation languages can offer advantages, such as syntax that makes it easy to refer to model elements. For writing bidirectional model transformations, which maintain consistency between two or more models, a specialist bidirectional model transformation language is particularly important, because it can help avoid the duplication that would result from writing each direction of the transformation separately.
Currently, most model transformation languages are being developed in academia. The OMG has standardised a family of model transformation languages called QVT, but the field is still immature.
ATL : a transformation language developed by the INRIA
Beanbag (see ) : an operation-based language for establishing consistency over data incrementally
GReAT : a transformation language available in the GME
Epsilon family (see ) : a model management platform that provides transformation languages for model-to-model, model-to-text, update-in-place, migration and model merging transformations.
F-Alloy : a DSL reusing part of the Alloy syntax and allowing the concise specification of efficiently computable model transformations.
Henshin (see ) : a model transformation language for EMF, based on graph transformation concepts, providing state space exploration capabilities
JTL : a bidirectional model transformation language specifically designed to support non-bijective transformations and change propagation (see ).
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
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. 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. Une transformation est la génération automatique d'un modèle cible à partir d'un modèle source.