Lenguaje de transformación ATLAS

ATL ( ATLAS Transformation Language ) es un lenguaje y un conjunto de herramientas de transformación de modelos desarrollado y mantenido por OBEO y AtlanMod. Fue iniciado por el equipo de AtlanMod (anteriormente llamado Grupo ATLAS). En el campo de la ingeniería basada en modelos (MDE), ATL proporciona formas de producir un conjunto de modelos de destino a partir de un conjunto de modelos de origen.

Lanzado bajo los términos de la Licencia Pública Eclipse , ATL es un componente M2M (Eclipse) , dentro del Proyecto de Modelado Eclipse (EMP).

ATL es un lenguaje de transformación de modelos (MTL) desarrollado por OBEO e INRIA para responder a la solicitud de propuestas de QVT . QVT es un estándar de Object Management Group para realizar transformaciones de modelos . Se puede utilizar para realizar traducciones sintácticas o semánticas . ATL está construido sobre una máquina virtual de transformación de modelos .

ATL es la respuesta del grupo de investigación ATLAS INRIA & LINA a la RFP OMG MOF/QVT. Es un lenguaje de transformación de modelos especificado tanto como metamodelo como sintaxis textual concreta. Es un híbrido de declarativo e imperativo. El estilo preferido de escritura de transformaciones es declarativo, lo que significa que las asignaciones simples se pueden expresar de forma sencilla. Sin embargo, se proporcionan construcciones imperativas para que se puedan especificar algunas asignaciones demasiado complejas para ser manejadas de forma declarativa. Un programa de transformación ATL se compone de reglas que definen cómo se combinan los elementos del modelo de origen y cómo se navega por ellos para crear e inicializar los elementos de los modelos de destino.

Se ha definido e implementado una máquina virtual orientada a la transformación de modelos para proporcionar soporte de ejecución para ATL manteniendo un cierto nivel de flexibilidad. De hecho, ATL se vuelve ejecutable simplemente porque existe una transformación específica de su metamodelo al bytecode de la máquina virtual. Por lo tanto, extender ATL es principalmente una cuestión de especificar la semántica de ejecución de las nuevas características del lenguaje en términos de instrucciones simples: acciones básicas sobre modelos (creación de elementos y asignación de propiedades).

Un programa ATL ( T1.atl aquí) tomará el modelo Ma.xmi como entrada y producirá el modelo Mb.xmi como salida. Ambos modelos pueden expresarse en el estándar OMG XMI . El modelo Ma se ajusta al metamodelo MMa.km3 . El modelo Mb se ajusta al metamodelo MMb.km3 . La notación KM3 es un lenguaje de especificación de metamodelos simple y neutral.

El programa ATL en sí ( T1.atl aquí) también es un modelo, por lo que se ajusta a un metamodelo (el metamodelo ATL) que no se presenta aquí.

Un programa ATL se compone de un encabezado, de un conjunto de funciones libres de efectos secundarios llamadas ayudantes y de un conjunto de reglas .

Hay un complemento asociado ATL Development Toolkit disponible en código abierto desde ATL ^[2] Eclipse Modeling Project (EMP) que implementa el lenguaje de transformación ATL que está inspirado en el lenguaje de consulta/vista/transformación MOF QVT . ^[3] Hay disponible una gran biblioteca de transformaciones. ^[4] MOF QVT es un lenguaje específico del dominio para la transformación de modelos. Admite modelos que cumplen con Ecore, EMOF, KM3 (un lenguaje específico del dominio específico para la especificación de metamodelos), etc. ATL también se ejecuta en MDR/ NetBeans .

• Ingeniería basada en modelos (MDE)
• Modelado específico del dominio (DSM)
• Lenguaje de transformación de modelos (MTL)
• Consultas/Vistas/Transformaciones MOF (QVT)

• Bohlen, M: QVT y transformación multi-metamodelo en MDA . Publicado en la Web
• Wagelaar, D: Estudio de caso de MDE: uso de transformaciones de modelos para UML y DSL . Publicado en la Web
• Czarnecki, K, y Helsen, S: Clasificación de los enfoques de transformación de modelos. En: Actas del taller OOPSLA'03 sobre técnicas generativas en el contexto de la arquitectura basada en modelos. Anaheim (CA, EE. UU.). Publicado en la Web
• Herramientas MDA de ModelBaset.net
• SoftwareMag.com. Herramientas MDA . Publicado en la Web

• Arquitectura basada en modelos: visión, estándares y tecnologías emergentes en OMG.org
• Introducción a la arquitectura basada en modelos en IBM.com
• De la composición de objetos a la transformación de modelos con MDA en OMG.org
• Jouault, F y Kurtev, I: Sobre la alineación arquitectónica de ATL y QVT . En: Actas del Simposio ACM sobre Computación Aplicada (SAC 06), Model Transformation Track. Dijon (Bourgogne, FRA), abril de 2006. Publicado en la Web

• Grupo de noticias Eclipse/M2M: grupo de discusión ATL .
• Jouault, F y Kurtev, I: Sobre la alineación arquitectónica de ATL y QVT . En: Actas del Simposio ACM sobre Computación Aplicada (SAC 06), Model Transformation Track. Dijon (Bourgogne, FRA), abril de 2006. Publicado en la Web
• Eclipse: M2M/ATL es parte del nuevo proyecto de modelado de nivel superior

• Grønmo, R, y Oldevik, J: Un estudio empírico de la herramienta de transformación de modelos UML (UMT) . En: INTEROP-ESA'05, febrero de 2005. Publicado en la Web.

• Voelter, M: Desarrollo de software basado en modelos . Publicado en la Web
• Sitio del portal MDA y transformación de modelos :

• Sitio web oficial