1 / 39

Requisitos & Arquitecturas

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

aristotle-carter
Download Presentation

Requisitos & Arquitecturas

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 III Jornadas META – Gijón, 6 Octubre 2008

  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

  3. METALí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. METALí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. METALí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. METALí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. METALí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. METALí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. METALí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. METALí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. METALí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 Futuros • Caso 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. METALínea de Trabajo UPV 2:Modelos Arquitectónicos Orientados a Aspectos • TAREA 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 curso • Aná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 III Jornadas META - Gijón, 6 de octubre de 2008

  13. Evolución Dinámica de Arquitecturas SW • 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

  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%) III Jornadas META - Gijón, 6 octubre 2008

  15. 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 Espinosa Abel Gómez LLana META´08

  16. Tareas realizadas • Resultados • Tareas futuras • Desarrollo de un“framework” que genera automáticamente aplicaciones en dominios específicos, basado en líneas de producto software. III Jornadas META – Gijón, 6 Octubre 2008

  17. Considerando: Variabilidad diagnóstico Aplicando: Arquitectura SE Modelo PRISMA SPEM RAS SPL MDA Modelar procesos de desarrollo SW • Procesar la ingeniería • de LPS: • Ing. Dominio • Ing. Aplicación Especificar y empaquetar “assets” Generar automáticamente aplicaciones, y Considerar alto nivel de abstracción FOM Insertar “features” III Jornadas META – Gijón, 6 Octubre 2008

  18. Tareas realizadas • Resultados • Tareas futuras • PUBLICACIONES : . 2 informes técnicos . 5 artículos en congresos internacionales (2 nivel B, 2 nivel A) • IMPLEMENTACIÓN : . Prototipo de la aproximación: protoBOM III Jornadas META – Gijón, 6 Octubre 2008

  19. Tareas realizadas • Resultados • Tareas futuras • 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. ). III Jornadas META – Gijón, 6 Octubre 2008

  20. Tareas realizadas • Resultados • Tareas futuras • 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. III Jornadas META – Gijón, 6 Octubre 2008

  21. Tareas realizadas • Resultados • Tareas futuras • 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. Eugeniaand 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. III Jornadas META – Gijón, 6 Octubre 2008

  22. Tareas realizadas • Resultados • Tareas futuras • 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. Eugeniaand 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. III Jornadas META – Gijón, 6 Octubre 2008

  23. Actividades de DSDMISSI – Transformaciones MDA Herramienta MOMENT

  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

  25. 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).

  26. 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.

  27. 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.

  28. 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.

  29. Colaboraciones con otros grupos de trabajo • Requisitos y arquitecturas • Soporte 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.

  30. Movilidad en Arquitecturas Software basadas en aspectos y componentes. Nour Ali Isidro Ramos META´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 31

  32. Modelado de Sistemas de Gestión de Emergencias • 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

  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. III Jornadas META - Gijón, 6 octubre 2008

  34. 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 III Jornadas META - Gijón, 6 octubre 2008

  35. Desarrollo de Juegos Dirigido por ModelosUn Compilador de Modelos para Juegos de PC y XBOX 360 José Á. Carsí Cubel Emanuel Montero Reyno Grupo ISSI

  36. Motivación • El desarrollo de juegos ha aumentado de complejidad • De los 80s a los 2000: • De 2 a 100 desarrolladores • De < 1 millón a 12 millones $ de presupuesto • De ~ Kbyte al ~ Gbyte de tamaño • Se utiliza tecnología de programación orientada a objetos • Motores de juego • Middleware • Necesidad de Herramientas: • Intelectuales • Facilitar análisis, desarrollo y crítica de juegos • Industriales • Incrementar la productividad • Reducir tiempo y coste de desarrollo • Aumentar calidad del producto final III Jornadas META - Gijón, 6 octubre 2008

  37. PIM Reglas Interfaz Contexto PSM Reglas Control Contexto Middleware Juego Ejecutable 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 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ón • Especificación precisa en el modelo PSM • Compilador de Modelos: genera 100% código C# • Cambio de paradigma • Trabajos Futuros • Especificación PIM • Transformación PIM-PSM • Soportar la funcionalidad completa del middleware XNA en la generación de código III Jornadas META - Gijón, 6 octubre 2008

More Related