Post on 23-Jan-2016
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
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
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)
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
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
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).
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)
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
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
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.
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
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
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
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%)
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
21/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
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
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
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
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
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
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
Herramienta MOMENT
Actividades de DSDMISSI –
Transformaciones MDA
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
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
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
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
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
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
Movilidad en Arquitecturas Software
basadas en aspectos y componentes.
Nour Ali Isidro Ramos
META´08META´08
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
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
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.
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
Desarrollo de Juegos Dirigido por ModelosUn Compilador de Modelos para Juegos de PC y XBOX 360
José Á. Carsí CubelEmanuel Montero Reyno
Grupo ISSI
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
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
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
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