Requisitos & Arquitecturas

39
III Jornadas META – Gijón, 6 Octubre 2008 1 Requisitos & Arquitecturas Actividades desarrolladas Desafíos de investigación • Definición de una propuesta metodológica para la gestión del conocimiento arquitectónico • Definición de una propuesta para la aplicación de estilos arquitectónicos Desafíos tecnológicos • Desarrollo de un gestor de patrones arquitectónicos integrado en MORPHEUS • Evaluación de la aplicabilidad de MORPHEUS para soporte de la variabilidad con reuso

description

Requisitos & Arquitecturas. Actividades desarrolladas Desafíos de investigación Definición de una propuesta metodológica para la gestión del conocimiento arquitectónico Definición de una propuesta para la aplicación de estilos arquitectónicos Desafíos tecnológicos - PowerPoint PPT Presentation

Transcript of Requisitos & Arquitecturas

Page 1: Requisitos & Arquitecturas

III Jornadas META – Gijón, 6 Octubre 2008 1

Requisitos & Arquitecturas

Actividades desarrolladasDesafíos de investigación

• Definición de una propuesta metodológica para la gestión del conocimiento arquitectónico

• Definición de una propuesta para la aplicación de estilos arquitectónicos

Desafíos tecnológicos• Desarrollo de un gestor de patrones

arquitectónicos integrado en MORPHEUS

• Evaluación de la aplicabilidad de MORPHEUS para soporte de la variabilidad con reuso

Page 2: Requisitos & Arquitecturas

2

Requisitos & Arquitecturas

Actividades desarrolladas E. Navarro, C. E. Cuesta: Automating the Trace of

Architectural Design Decisions and Rationales Using a MDD Approach. ECSA 2008: 114-130.

E. Navarro, P. Letelier, I. Ramos, Automating the appliance of Architectural Styles, IST(under review)

E. Navarro, P. Letelier, A. Gómez, MORPHEUS: tool support for the management of requirements, JSS(under review)

E. Navarro, C. E. Cuesta, A Model-Driven process for Architectural Knowledge, Special Issue on Design Decision, JSS (under review)

III Jornadas META - Gijón, 6 octubre 2008

Page 3: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 3

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos TAREA UPV 2.1 NOMBRE: Gestión y

desarrollo de modelos arquitectónicos orientados a aspectos PERSONAS INVOLUCRADAS:

• Subproyecto MOMENT: Isidro Ramos, Jose Ángel Carsí, Jennifer Pérez, Nour Ali, Carlos E. Cuesta

RESULTADOS Extensión de la metodología de desarrollo de

arquitecturas en MDD, incorporando verificación de modelos y COTS

Herramienta de modelado de arquitecturas genérica para sistemas robóticos tele-operados soportando separación de aspectos

• Estudio de MCs, SCs, Actuadores y Sensores para proporcionar una herramienta de modelado genérica para sistemas robóticos tele-operados

• Modelado de la herramienta a nivel de tipos• Generación de la herramienta (en curso)

Page 4: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 4

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos

MODELO HERRAMIENTA

A NIVEL DE TIPOS:

Interfaces y Aspectos

Page 5: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 5

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos

MODELO HERRAMIENTA

A NIVEL DE TIPOS:

Elementos Arquitectónicos

Page 6: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 6

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos TAREA UPV 2.1 NOMBRE: Gestión y

desarrollo de modelos arquitectónicos orientados a aspectos

PUBLICACIONES

Jennifer Pérez, Isidro Ramos, Jose Á. Carsí, Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2008), IEEE Computer Society, 31 March - 4 April 2008 in Belfast, Northern Ireland.

Jennifer Pérez, Isidro Ramos, Jose Á. Carsí, Model-Driven Development of Aspect-Oriented Software Architectures, Journal of Systems and Software (Enviado).

Page 7: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 7

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos TAREA UPV 2.1 NOMBRE: Gestión y

desarrollo de modelos arquitectónicos orientados a aspectos

Trabajo Futuro

Explotación de resultados• Artículo sobre la herramienta de modelado de

arquitecturas genérica para sistemas robóticos tele-operados soportando separación de aspectos (Congreso nivel A)

• Artículo sobre el cálculo pi con prioridades para la coordinación de aspectos y componentes (revista índice impacto JCR)

Page 8: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 8

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos

TAREA UPV 2.3 NOMBRE: Definición y desarrollo de un modelo de evolución para arquitecturas software orientadas a aspectos PERSONAS INVOLUCRADAS:

• Subproyecto MOMENT:Isidro Ramos, Jose Ángel Carsí, Jennifer Pérez, Nour Ali, Carlos E. Cuesta, Cristóbal Costa

Trabajos realizados Evolución de tipos (trabajo en curso)

• Definición de un modelo de evolución dinámica para componentes basado en aspectos

• Adaptación de PRISMANET

Page 9: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 9

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos

TAREA UPV 2.3 NOMBRE: Definición y desarrollo de un modelo de evolución para arquitecturas software orientadas a aspectos

Trabajos realizados Reconfiguración dinámica (trabajo en curso)

• Definición de un modelo de reconfiguración para arquitecturas basado en aspectos

• Estudio de la infraestructura necesaria• Adaptación de PRISMANET

Caso de estudio• Reconfiguración dinámica aplicada a la tolerancia a fallos de

un sistema de visión de un robot agrícola

Page 10: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 10

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a Aspectos TAREA UPV 2.3 NOMBRE: Definición y desarrollo

de un modelo de evolución para arquitecturas software orientadas a aspectos

Publicaciones Cristóbal Costa, Jennifer Pérez, Jose Á. Carsí,

Managing Dynamic Evolution of Architectural Types, 2nd European Conference on Software Architectures (ECSA 2008), LNCS 5292 , Chipre, Septiembre, 2008.

Cristóbal Costa, Jennifer Pérez, Jose Á. Carsí, Soporte a la Evolución Dinámica de Tipos Arquitectónicos, Workshop on Autonomic and SELF-adaptive Systems, junto a JISBD 2008, Gijón, Octubre, 2008.

Page 11: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 11

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a AspectosTAREA UPV 2.3 NOMBRE: Definición y

desarrollo de un modelo de evolución para arquitecturas software orientadas a aspectos

Trabajos FuturosCaso de estudio: Reconfiguración dinámica

aplicada a la tolerancia a fallos de un sistema de visión de un robot agrícola

• Mejorar la definición del caso de estudio• Aplicación y publicación

Seguir trabajando en los modelos de evolución de tipos y reconfiguración de PRISMA

Page 12: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 de octubre de 2008 12

METALínea de Trabajo UPV 2: Modelos Arquitectónicos Orientados a AspectosTAREA UPV 2.4 NOMBRE: Análisis y

validación de modelos arquitecturas software orientadas a aspectos

PERSONAS INVOLUCRADAS:• Subproyecto MOMENT: Isidro Ramos, Jose Ángel Carsí,

Patricio Letelier, Jenifer Pérez, Nour Ali, Carlos E. Cuesta , Emilio Insfrán, Elena Navarro

Trabajo en cursoAnálisis Metodología y modelo PRISMA

• Medición de mediante un experimento de las ventajas e inconvenientes de la propuesta.

– Personas involucradas: Silvia Abrao, Nour Ali, y Jennifer Pérez

Page 13: Requisitos & Arquitecturas

Trabajos realizados Reconfiguración dinámica

• Soporte a la reconfiguración dinámica autonómica orientada a aspectos

• PRISMANET: Incorporación de la quiescencia y el soporte transaccional de los procesos de reconfiguración

Evolución Dinámica de Tipos• Soporte a la evolución de tipos incremental en tiempo de

ejecución• PRISMANET: Incorporación de los mecanismos para la evolución

de tipos e instancias en tiempo de ejecución (en desarrollo)

Costa C., Pérez J., Carsí J.A. Managing Dynamic Adaptation of Architectural Types. In: 2nd European Conference on Software Architecture (ECSA’08). Springer LNCS, vol. 5292, pp. 281-289. Paphos, Cyprus, September 2008.

Costa C., Pérez J., Carsí J.A. Soporte a la Evolución Dinámica de Tipos Arquitectónicos. Workshop of Autonomic and Self-Adaptive Systems (WASELF’08), junto a las JISBD 2008. Gijón, Octubre 2008

III Jornadas META - Gijón, 6 octubre 2008 13

Evolución Dinámica de Arquitecturas SW

Page 14: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 octubre 2008 14

Evolución Dinámica de Arquitecturas

Trabajos realizados (II) Caso estudio con requerimientos dinámicos:

AgroBot• Colaboración con Cartagena: robot agrícola autónomo para

la inspección de plagas• Especificación del proceso de reconfiguración dinámica del

sistema de visión para la tolerancia a fallos• Modelado en PRISMACase del sistema de visión del

AgroBot, generación de código y ejecución en PRISMANET• En desarrollo: depuración del proceso de reconfiguración

dinámica del sistema de visión del robot (90%)

Page 15: Requisitos & Arquitecturas

Baseline-Oriented Modeling: Una aproximación MDA basada en Líneas de Producto Software

para generar aplicaciones(caso de estudio: Sistemas

Expertos en tareas de diagnóstico)Isidro Ramos Salavert

Ma. Eugenia Cabello EspinosaAbel Gómez LLana META´08META´08

Page 16: Requisitos & Arquitecturas

20/04/23 16

Desarrollo de un “framework” que genera automáticamente aplicaciones en dominios específicos, basado en líneas de producto software.

-Tareas realizadas

-Resultados

-Tareas futuras

III Jornadas META – Gijón, 6 Octubre 2008

Page 17: Requisitos & Arquitecturas

17

SPL

FOM

RASSPEM

Aplicando:

Procesar la ingenieríade LPS:•Ing. Dominio•Ing. Aplicación

Insertar “features”

Especificar y empaquetar“assets”

Modelar procesosde desarrollo SW

Considerando:

Arquitectura SE

Modelo PRISMA

Variabilidaddiagnóstico

MDA

Generar automáticamenteaplicaciones, yConsiderar alto nivel de abstracción

III Jornadas META – Gijón, 6 Octubre 2008

Page 18: Requisitos & Arquitecturas

18

PUBLICACIONES :PUBLICACIONES :. . 2 informes técnicos.. 5 artículos en congresos internacionales (2 nivel B, 2 nivel A)

IMPLEMENTACIÓN :IMPLEMENTACIÓN : . . Prototipo de la aproximación:

protoBOM

-Tareas realizadas

-Resultados

-Tareas futuras

III Jornadas META – Gijón, 6 Octubre 2008

Page 19: Requisitos & Arquitecturas

19

Desarrollo de la aproximación BOM aplicando técnicas de transformación de modelos.

Implementación de un prototipo.

Estudio de la taxonomía de los sistemas software & las LPS (variabilidad y relaciones “is_a” , “is_instance_of”, etc. ).

-Tareas realizadas

-Resultados

-Tareas futuras

III Jornadas META – Gijón, 6 Octubre 2008

Page 20: Requisitos & Arquitecturas

20

Informes técnicos

Cabello Ma. Eugenia, Gómez María, LLavador Manuel, and Ramos Isidro. “ProtoBOM: a framework that semi-automatically generates Expert Systems based on Software Product Lines”. Technical report: DSIC II/02/08, Universitat Politécnica de Valéncia, April 2008, pages 68.

Cabello Ma. Eugenia y Ramos Isidro. “Análisis y diseño de un generador automático de sistemas de diagnóstico basado en líneas de producto”. Reporte técnico: DSIC II/07/08, Universitat Politécnica de Valéncia, Jul. 2008, pages 236.

-Tareas realizadas

-Resultados

-Tareas futuras

III Jornadas META – Gijón, 6 Octubre 2008

Page 21: Requisitos & Arquitecturas

21

Congresos Internacionales

Cabello Ma. Eugenia and Ramos Isidro. “A Generic Solution for the Construction of Diagnostic Expert Systems Based on Product Lines”. In Proceedings of the International Conference of Health Informatics- HEALTHINF´08, Madeira, Portugal, Vol. 2, pp. 237-246, Jan. 2008, ISBN 978-989-8111-16-6.

Cabello Ma. Eugenia and Ramos Isidro. “Variability Management in Product Lines for Decision Support Systems”. In Proceedings of the 10 th International Conference on Enterprise Information Systems-ICEIS´08, Barcelona, Spain, Vol. 2, pp. 49-56, Jun. 2008, ISBN: 978-989-8111-38-8.

Cabello Ma. Eugenia and Ramos Isidro. “Model-Driven Development of Decision Support Systems: tackling the variability problem”. In Proceedings of 17 th International Conference of Information Systems Development-ISD´08, Paphos, Cyprus, Ago. 2008.

-Tareas realizadas

-Resultados

-Tareas futuras

III Jornadas META – Gijón, 6 Octubre 2008

Page 22: Requisitos & Arquitecturas

22

Cabello Ma. Eugenia and Ramos Isidro. “Expert Systems development through Software Product Lines techniques”. In Proceedings of 17 th International Conference of Information Systems Development-ISD´08, Paphos, Cyprus, Ago. 2008.

Cabello Ma. Eugenia and Ramos Isidro. “The Baseline: the milestone of Software Product Lines for Expert Systems automatic development”. The 9 th Mexican International Conference on Computer Science, Baja California, México, Oct. 2008.

-Tareas realizadas

-Resultados

-Tareas futuras

III Jornadas META – Gijón, 6 Octubre 2008

Page 23: Requisitos & Arquitecturas

Herramienta MOMENT

Actividades de DSDMISSI –

Transformaciones MDA

Page 24: Requisitos & Arquitecturas

24

UPV1: Tareas Tarea UPV 1.1: trabajos relacionados

Aproximaciones formales para metamodelado y transformaciones de modelos: TR UoL CS-08-003

Tarea UPV 1.2 Puentes de interoperabilidad EMF y Maude: JISBD’05, FASE’08,

TR UoL CS-08-003 Tarea UPV 1.3

Transformaciones de modelos funcionales (FASE’06) Transformaciones funcionales y relacionales en MOMENT2:

AGTIVE’07a, AGTIVE’07b Tarea UPV 1.4

Trazabilidad: en transformaciones de modelos funcionales (ECMDA-FA’05)

Tarea UPV 1.6 Semántica algebraica de MOF (FASE’08) y semántica basada en

lógica de reescritura de tranformaciones de modelos (work in progress)

Tarea UPV 1.7 Formalización de OCL y su uso para verificación formal: ECMDA-

FA06, TR UIUCDCS-R-2008-2995

III Jornadas META – Gijón, 6 Octubre 2008

Page 25: Requisitos & Arquitecturas

UPV1: Trabajo actual Aplicación de la formalización algebraica de MOF y OCL en

escenarios DSDM: trasformaciones de modelos, definición de DSLs, gestión de modelos.

Semántica funcional y relacional de transformaciones de modelos con lógica de reescritura

Verificación de transformaciones de modelos relacionales: análisis de alcanzabilidad y model checking

Desarrollo MOMENT2 Transformaciones multimodelo Front-end para análisis de alcanzabilidad Entorno de programación (completado de código,

comprobaciones sintácticas y semánticas) Metamodelo del lenguage de transformaciones Compilación a código Maude desde el metamodelo y soporte

para ejecución de transformaciones Nuevo editor trazabilidad (navegación entre links, depuración).

25

Page 26: Requisitos & Arquitecturas

Aplicación de DSDM en bioinformática

Pretende abordar los problemas de heterogeneidad de aplicaciones y datos. La estructura de datos se definen como modelos. Eleva el nivel de abstracción en el tratamiento de los

datos. Permite automatizar o semiautomatizar los procesos de

migración/interoperabilidad. Proporciona capacidades de trazabilidad de forma

implícita.

II Jornadas META. Cartagena, 24/25 de Enero de 2008. 26

Page 27: Requisitos & Arquitecturas

Aplicación de DSDM en bioinformática

Resultados 2007: Primer prototipo sobre MOMENTv1. Publicación en JISBD’07. Publicación en ATEM’07 (junto a MoDELS’07).

Resultados 2008: Publicación en Jornadas Nacionales de Bioinformática

2008. Nueva herramienta de transformaciones (basada en un

motor de código abierto). Nuevo prototipo sobre librería de transformaciones QVT.

• Cubre el proceso completo (recuperado de datos, transformación, persistencia y dibujado) de forma automática.

II Jornadas META. Cartagena, 24/25 de Enero de 2008. 27

Page 28: Requisitos & Arquitecturas

Colaboraciones con otros nodos

Nodo UCLM. Aplicación en la medición de artefactos software.Presenta un entorno genérico para la

medición de artefactos software.Resultados 2007:

• Publicación en JISBD’07.

Resultados 2008:• Publicación ICEIS 2008.

II Jornadas META. Cartagena, 24/25 de Enero de 2008. 28

Page 29: Requisitos & Arquitecturas

Colaboraciones con otros grupos de trabajo

Requisitos y arquitecturasSoporte para la ejecución de transformaciones

y comprobaciones de restricciones OCL.Resultados:

• 2 PFCs• Herramienta de validación de restricciones OCL por

línea de comandos.• Herramienta por línea de comandos de ejecución de

transformaciones QVT.• E. Navarro, P. Letelier, A. Gómez, MORPHEUS: tool

support for the management of requirements, JSS(under review)

II Jornadas META. Cartagena, 24/25 de Enero de 2008. 29

Page 30: Requisitos & Arquitecturas

Movilidad en Arquitecturas Software

basadas en aspectos y componentes.

Nour Ali Isidro Ramos

META´08META´08

Page 31: Requisitos & Arquitecturas

31

Nour Ali. Tesis Doctoral. Ambient-Prisma: Ambients in Aspect Oriented Software Architectures. Febrero, 2008.

N. Ali, C. Solís, I. Ramos. Comparing Architecture Description Languages for Mobile Software Systems. In Proceedings of the First International Workshop on Software Architectures and Mobility collocated with ICSE'08, pp. 33--38. ACM.

-Resultados

III Jornadas META – Gijón, 6 Octubre 2008

Page 32: Requisitos & Arquitecturas

Trabajos realizados Método para la obtención de modelos navegacionales a

partir de modelos de proceso• Tesis Doctoral de Carlos Solís (Diciembre 2008)

Uso de wikis con hipertexto espacial para realizar anotaciones en documentos digitales

Presentación de información contextual• Uso de métodos de ingeniería documental

– The Dynamic Document Format (HP Labs, Bristol)

Uso de líneas de producto para la elaboración de editores de planes de emergencia

III Jornadas META - Gijón, 6 octubre 2008 32

Modelado de Sistemas de Gestión de Emergencias

Page 33: Requisitos & Arquitecturas

III Jornadas META - Gijón, 6 octubre 2008 33

Modelado de Sistemas de Gestión de Emergencias

Publicaciones• Diniz, V. B. ; Borges, M. R. S. ; Gomes, José Orlando ; Canós, José Hilario . Decision Making

Support in Emergency Response. In: Frédéric Adam; Patrick Humphreys. (Org.). Encyclopedia

of Decision Making and Decision Support Technologies. 1 ed. London: Information Science

Reference (an imprint of IGI Global), 2008, v. 1, p. 184-191.

• Santos, R. S. ; Borges, M. R. S. ; Gomes, José Orlando ; Canós, José Hilário . A Cooperative

Assessment of the Response Capability of Emergency Organizations. In: Proceedings of the

12th International Conference on Computer Supported Cooperative Work in Design. Xian,

China. IEEE Press, 2008. v. 2. p. 1085-1090.

• Santos, R. S. ; Borges, M. R. S. ; Gomes, José Orlando ; Canós, José Hilário . Maturity Levels

of Information Technologies in Emergency Response Organizations. In: International

Workshop on Groupware, 2008, Omaha, Nebraska, USA. Groupware: Design, Implementation

and Use - Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2008.

• Solís, C. ; Ali, N. ShyWiki-A Spatial Hypertext Wiki. In: Proceedings of the 2008 International

Symposyum on Wikis. ACM. 2008.

Page 34: Requisitos & Arquitecturas

Modelado de Sistemas de Gestión de Emergencias

Actividades complementarias Estancia en Brasil de J. H. Canós ( Sep 2008, financiada por

MEC/CAPES)• Objetivo: diseño de sistemas de gestión de emergencias• Resultados relacionados con el proyecto a partir de mayo de 2009

34III Jornadas META - Gijón, 6 octubre 2008

Page 35: Requisitos & Arquitecturas

Desarrollo de Juegos Dirigido por ModelosUn Compilador de Modelos para Juegos de PC y XBOX 360

José Á. Carsí CubelEmanuel Montero Reyno

Grupo ISSI

Page 36: Requisitos & Arquitecturas

36

Motivación El desarrollo de juegos ha aumentado de El desarrollo de juegos ha aumentado de

complejidadcomplejidad De los 80s a los 2000: De los 80s a los 2000:

• De 2 a 100 desarrolladoresDe 2 a 100 desarrolladores• De < 1 millón a 12 millones $ de presupuestoDe < 1 millón a 12 millones $ de presupuesto• De ~ Kbyte al ~ Gbyte de tamañoDe ~ Kbyte al ~ Gbyte de tamaño

Se utiliza tecnología de programación Se utiliza tecnología de programación orientada a objetosorientada a objetos Motores de juegoMotores de juego MiddlewareMiddleware

Necesidad de Herramientas:Necesidad de Herramientas: IntelectualesIntelectuales

• Facilitar análisis, desarrollo y crítica de juegosFacilitar análisis, desarrollo y crítica de juegos IndustrialesIndustriales

• Incrementar la productividadIncrementar la productividad– Reducir Reducir tiempotiempo y y coste coste de desarrollode desarrollo– Aumentar Aumentar calidadcalidad del producto final del producto final

III Jornadas META - Gijón, 6 octubre 2008

Page 37: Requisitos & Arquitecturas

37

Un Compilador de Modelos

Plataforma de desarrollo Microsoft XNA Middleware para el

desarrollo de juegos en PC y XBOX 360

Fácil de aprender Requiere

programación manual en C#

Automatizar la generación de código C# para XNA

Middleware

PSM Control ReglasContexto

Juego Ejecutable

PIM Interfaz ReglasContexto

III Jornadas META - Gijón, 6 octubre 2008

Page 38: Requisitos & Arquitecturas

38

Modelo PSM de XNA

Modelo de Control Controlador

• Teclado• Mando XBOX 360

Elemento de Control• Tecla• Botón• ThumbStick• Trigger

Mapeo a Acción Modelo de Contexto

Jugadores• Acciones• Atributos

Entidades de Juego• Sprites• Animaciones

Modelo de Reglas Regla

• Precondición• Postcondición

III Jornadas META - Gijón, 6 octubre 2008

Page 39: Requisitos & Arquitecturas

39

Conclusiones

Desarrollo de Juegos Dirigido por Modelos Mayor nivel de abstracciónMayor nivel de abstracción Especificación precisa en el modelo PSMEspecificación precisa en el modelo PSM Compilador de Modelos: genera 100% código Compilador de Modelos: genera 100% código

C#C# Cambio de paradigmaCambio de paradigma

Trabajos FuturosEspecificación PIMTransformación PIM-PSMSoportar la funcionalidad completa del

middleware XNA en la generación de código

III Jornadas META - Gijón, 6 octubre 2008