Este documento describe los pasos para crear una transformación entre modelos usando ATL. Explica cómo crear proyectos e importar metamodelos, definir reglas de transformación entre modelos, y ejecutar la transformación para generar el modelo de salida a partir del modelo de entrada. También cubre temas como debuggear transformaciones y crear librerías compartidas de helpers.

1. MDD

2. ……

3. Ma Mb

5. T
Ma Mb

6. T
¿Cuáles serán los pasos que se
realizarán para llegar a Mb?

8. Cada un unidad se define en un archivo separado (.atl)
Module
Query
Library

9. HEADER
IMPORT
HELPERS
REGLAS
Module
Transformación M2M mediante un conjunto de reglas

10. module module_name;
create output_models [from|refining] input_models;
HEADER

11. uses library_file_name;
IMPORT

12. HELPERS
helper [context context_type]? def :
helper_name(parameters) : return_type = exp;
helper def : id : Integer = 0;
helper context Integer def : double() : Integer = self
* 2;

13. La única forma de crear elementos.
Matched rules (prog. Declarativa)
Called rules (prog. Imperativa)
REGLAS

14. rule Author {
from
a : MMAuthor!Author
to
p : MMPerson!Person (
name <- a.name,
surname <- a.surname
)
}
Un mismo elemento no puede ser transformado
por mas de una matched rule.
REGLAS

15. rule NewPerson (na: String, s_na: String) {
to
p : MMPerson!Person (
name <- na
)
do {
p.surname <- s_na
}
}
Invocación de la called rule
thisModule.NewPerson("Juan","Perez")
REGLAS

16. [entrypoint rule rule_name(]? parameters){
[using {
var1 : var_type1 = init_exp1;...
}]?
[to
out_var1 : out_type1 (
bindings1
),
out_var2 : distinct out_type2 foreach(e in collection)(
bindings2
)
)]?,...
[do {
statements
}]?
}
REGLAS

17. MODOS DE EJECUCIÓN
module module_name;
create output_models [from|refining] input_models;

18. QUERY
Permite calcular un valor primitivo, como un string o
un entero a partir de los elementos de los modelos
query query_name = exp;
query PersonNb = MMPerson!Person.allInstances()->
size().toString().writeTo('result.txt');
LIBRARY
Consiste de un conjunto de helpers que pueden ser
invocados desde las unidades que importen dicha
libreria. Los helpers deben tener asociado un
contexto.
No puede ser ejecutada en forma independiente.

19. Ejemplo

20. Book2Publication

21. helper context book!Book def : getSumPages() : Integer =
self.chapters->collect(c|c.nbPages).sum();
module Book2Publication;
create out:publication from in:book;
rule Book2Publication {
from b:book!Book
to p: publication!Publication(
title <- b.title,
nbPages <- b.getSumPages()
)
}

22. Creación de un proyecto

23. Creación de un proyecto

24. Creación de un proyecto

25. Perspectiva ATL
Creación de un proyecto

26. Importación de un proyecto

27. Importación de un proyecto

28. Importación de un proyecto

29. Importación de un proyecto

30. Importación de un proyecto

31. Importación de un proyecto

32. Creación de metamodelos y
transformaciones

33. Ejemplo: UML2Relacional

34. Se crearán dos archivos.ecore y .ecorediag.
Creación de un metamodelo Ecore

35. Creación de un metamodelo Ecore

36. Creación de un metamodelo Ecore

37. Creación de un metamodelo Ecore

38. Creación de un metamodelo Ecore

39. Instanciación de un metamodelo

40. Instanciación de un metamodelo

41. Instanciación de un metamodelo

42. También es posible editar el modelo en forma textual

43. También es posible editar el modelo en forma textual

44. Creación de una transformación

45. Creación de una transformación

46. Creación de una transformación

47. Creación de una transformación

48. Creación de una transformación

49. Ejecución de una transformación

50. Ejecución de una transformación

51. Ejecución de una transformación

52. Debugging

53. Debugging

54. Debugging

55. Debugging

56. Manos a la obra!

57. Book2Publication

58. Definir metamodelo y transformación
Introducción de Interfaz