Transformación de modelos mediante gramáticas de grafos

Presentación del tema: "Transformación de modelos mediante gramáticas de grafos"— Transcripción de la presentación:

1 Transformación de modelos mediante gramáticas de grafos
Sergio Segura Rueda Metodologías y Técnicas en Proyectos Software para la Web Programa de Doctorado. Curso 2006/2007 Dpto. de Lenguajes y Sistemas Informáticos Universidad de Sevilla

2 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

3 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

4 Introducción

5 Introducción Model Driven Development Independencia de la plataforma.
Alta separación de conceptos. Alto nivel de abstracción. Mayor calidad y productividad. Rápida adaptación a los cambios.

6 Introducción Model Driven Development M2M M2M M2M M2C M2C CIM PIM PSM
Computation Independent Model CIM M2M Platform Independent Model PIM M2M M2M Platform Specific Model PSM Platform Specific Model PSM M2C M2C Code Code

7 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

8 Transformación de modelos
QVT Source Metamodel Transformation Definition Target Metamodel Trasnformation Engine Source Model Target Model VIATRA framework, Tefkat, GReAT, ATL, UMLX, AToM3, BOTL, MOLA, AGG, AMW, MTL, Kermeta, Moment, C-SAW, Andro-MDA, SmartQVT, openArchitectureWare, Fujaba, MTF, XMF-Mosaic, OptimalJ, MetaEditþ, ArcStyler, Codagen Architect, Enterprise Architect (Sparx) …

9 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

10 Gramáticas de Grafos Grámatica de Chomsky Reglas: S aBc Bdef Secuencia de derivaciones SaBcabdefc Usadas desde hace 30 años para la generación, manipulación, reconocimiento y evaluación de grafos. Modelos  Grafos (dirigidos, etiquetados, etc.) Permite definir transformaciones de forma natural, intuitiva y visual. Fundamentos teóricos maduros y sólidos. Herramientas: Fujaba, AGG System, GReAT, VIATRA2, etc.

11 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

12 Transformación de grafos
Regla de transformación Aplicación de la regla a un grafo de entrada Información necesaria para la aplicación de la regla + + L R If (condiciones de aplicación) G H

13 Transformación de grafos
Algunos ejemplos

14 Transformación de grafos
Algunas aplicaciones en la ISW… Especificación del comportamiento de un sistema. Especificación de lenguajes visuales. Transformación de modelos.

15 Transformación de grafos
Algunas aplicaciones en la ISW… Especificación del comportamiento de un sistema. Especificación de lenguajes visuales. Transformación de modelos.

16 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

17 Caso de estudio N. Koch et al. Model transformations from requirements to web system design. ICWE

18 Caso de estudio M.J. Escalona and N. Koch. Metamodeling the requirements of Web Systems. WEBIST WebRE: Web Requirement Engineering metamodel

19 UWE: UML-based Web Engineering metamodel
Caso de estudio N. Koch and A. Kraus. The expressive power of uml-based web engineering. IWWOST UWE: UML-based Web Engineering metamodel

20 GRAPH TRANSFORMATIONS
Caso de estudio GRAPH TRANSFORMATIONS

21 Caso de estudio AGG

22 Caso de estudio Regla QVT: Search TO Query

23 Caso de estudio Regla de Transformación 1 Search TO Query

24 Parameters of the Search TO Navigation Attributes
Caso de estudio Regla de Transformación 2 Parameters of the Search TO Navigation Attributes

25 Result of the Search TO Index, Links and Navigation Class
Caso de estudio Regla de Transformación 3 Result of the Search TO Index, Links and Navigation Class

26 Caso de estudio Aplicación de las reglas

27 La ruta Introducción Transformación de modelos Gramáticas de grafos
Transformación de grafos Caso de estudio Conclusiones

28 Conclusiones A diferencia del resto de propuestas para transformación de modelos las gramáticas de grafos aportan: Madurez. Fundamentos teóricos. Herramientas. Pruebas de su validez en múltiples contextos. Posible inconveniente en ciertas áreas de aplicación  Rendimiento.

29 ¡Gracias! Sergio Segura segura@lsi.us.es Programa de Doctorado
ETSI Informatica, Universidad de Sevilla, Spain

30 Caso de estudio UserTransaction TO Process