INTRODUCCIÓN GRUPO ISSI I.Ramos UPV Ciudad Real 14-15 junio 2007 MOMENT.

Presentación del tema: "INTRODUCCIÓN GRUPO ISSI I.Ramos UPV Ciudad Real 14-15 junio 2007 MOMENT."— Transcripción de la presentación:

1 INTRODUCCIÓN GRUPO ISSI I.Ramos UPV Ciudad Real 14-15 junio 2007 MOMENT

2 Nombre Evento2 GESTION DE MODELOS. MOMENT  Soporte formal para metamodelado  Aplicación de la gestión de modelos a la bioinformática  Prototipos para la gestión de modelos

3 Nombre Evento3 Tema: soporte formal para metamodelado  Nodos: MOMENT (colaboración con UIUC)  participantes: Artur Boronat (UPV) José Meseguer (UIUC)  Tareas realizadas:  estudio de entornos formales de metamodelado  estudio de técnicas de verificación formal  estudio de la reflexión en MOF  desarrollo de un marco formal y ejecutable para MOF + OCL, con soporte para reflexión estructural  integración del marco formal en EMF

4 Nombre Evento4 Tema: soporte formal para metamodelado  Resultados obtenidos:  informe técnico realizado en UIUC  tesis: “MOMENT: a formal MOdel manageMENT”  Conocimientos previos para utilizar los resultados: MOF, OCL, Maude y técnicas de verificación formal  Tareas a realizar:  publicaciones  formalización del framework basándonos en tª de grafos y tª de retículos

5 Nombre Evento5 Tema: primeros prototipos para la gestión de modelos  Nodos: MOMENT  participantes: Artur Boronat José Á. Carsí Abel Gómez Emilio Insfrán Pascual Queralt Isidro Ramos

6 Nombre Evento6 Tema: primeros prototipos para la gestión de modelos  Tareas realizadas  soporte para Maude en Eclipse (MDT)  soporte tecnológico para OCL: MOMENT-OCL  soporte tecnológico para QVT Relations: MOMENT-QVT  soporte tecnológico para operadores de gestión de modelos  soporte visual para trazabilidad  prototipo de una herramienta CASE: UML y bases de datos relacionales  Resultados  JISBD: 1 demo  Tesis  Colaboración con CapGemini

7 Nombre Evento7 Limitaciones de los prototipos  MOMENT-QVT  no se soporta semántica “checkonly”  no se soporta pattern matching recursivo  front-end demasiado complejo  Tareas a realizar  soporte formal y ejecutable para QVT Relations a medio plazo (1 año)  colaboración con University of Leicester (R.Heckel - reescritura de grafos)  desarrollo de proyectores de EMF a Maude  soporte visual para QVT Relations

8 Nombre Evento8 Aplicación de la gestión de modelos a la bioinformática.  Nodos Involucrados: UPV  Grupos de Trabajo:  Transformaciones MDA / Herramienta MOMENT  Participantes:  UPV: Abel Gómez, José Ángel Carsí, Isidro Ramos, Hans-Dieter Ehrich, Artur Boronat.

9 Nombre Evento9 Objetivos  Definir un mecanismo automático o semiautomático en:  Migración de datos mediante lenguajes de transformaciones de modelos.  Integración de datos mediante operadores de gestión de modelos.  Uso de técnicas de modelado e ingeniería dirigida por modelos para:  Representación de datos biológicos.  Obtención (mediante técnicas de metamodelado y generación de código automática) de interfaces de usuario amigables.

10 Nombre Evento10 Tareas realizadas y publicaciones.  Trabajos en el Institut für Informationssysteme:  Aproximación a los problemas de migración de datos en bioinformática. Bases de datos y herramientas de simulación: TRANSPATH®, Play-Engine, CPN-Tools…  Selección de un caso de estudio y definición de un marco de aplicación.  Desarrollo de metamodelos e instancias. Mecanismos de extración de información de bases de datos relacionales.  Definición de reglas de transformación entre dominios participantes y validación de la propuesta.  Publicaciones Aceptadas:  Gómez, Boronat, Carsí, Ramos, Täubner, Eckstein. «Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos.». XII Jornadas de Ingeniería del Software y Bases de Datos. Zaragoza, Septiembre de 2007.  Publicaciones en proceso (2)…

11 Nombre Evento11 TAREAS ISSI  TEMAS: ARQUITECTURAS  Arquitecturas Software Orientadas a Aspectos  Requisitos y Arquitecturas SW  Distribución y Movilidad en Arquitecturas Software Orientadas a Aspectos  Evolución Dinámica de Arquitecturas  Las Vistas Arquitectónicas y sus Correspondencias Mediante la Gestión de Modelos

12 Nombre Evento12 TAREAS ISSI  TEMAS: Lineas de Producto. Emergencias  Generador Automático de Sistemas de Diagnóstico basados en Líneas de Producto  Líneas de productos SW en aplicaciones industriales  Modelado de Sistemas para Gestión de Emergencias

13 Nombre Evento13 Transformación de Modelos Dirigida por Características de Calidad  Nodos Involucrados: UPV y UCLM  Grupos de Trabajo:  Calidad /Métricas  Transformaciones MDA / Herramienta MOMENT  Participantes:  UCLM: Marcela Genero, Mario Piattini  UPV: Silvia Abrahão, Emilio Insfran, José Ángel Carsí, e Isidro Ramos

14 Nombre Evento14 Objetivos  Definición de un metamodelo de calidad para dirigir las transformaciones  Selección de dominios especificos (Requisitos, Bioinformática, etc.)  Estudio de transformaciones alternativas con respecto a características y atributos de calidad  Validación empírica de transformación de modelos  Definición de meta-metricas  Definición de las transformaciones en QVT  Ejecución en MOMENT de las transformaciones dirigidas por atributos de calidad

15 Nombre Evento15 Metamodelo de Calidad  Será construído de manera empírica a partir de la evidencia obtenida con los experimentos controlados! Patrón de transformación genérico dirigido por características de calidad

16 Nombre Evento16 Tareas realizadas  Selección y estudio de un dominio: Modelo de Requisitos a Modelo de clases UML (Noviembre 2006)  Selección del punto de vista de la calidad: calidad pragmática y el atributo de calidad “facilidad de entendimiento” (Noviembre 2006)  Estudio de transformaciones alternativas: relaciones estructurales entre clases (Diciembre 2006)  Diseño y Ejecución de un experimento en la UPV para comprobar cuál transformación alternativa produce el modelo de clases UML más fácil de entender (Enero 2007)  Replica del experimento en la UCLM (Abril 2007)  Análisis y discusión de los datos obtenidos (Marzo/Abril 2007)

17 Nombre Evento17 Resultados Obtenidos  Publicaciones Aceptadas:  Abrahão, S. Insfrán, E., Genero, M. Carsí, J. A., Ramos, I., Piattini, M. (2007) Quality-Driven Model Transformations: From Requirements to UML Class Diagrams. Model-Driven Software Development: Integrating Quality Assurance, Jörg Rech and Christian Bunse (eds.), Idea Group, Inc.Quality-Driven Model Transformations: From Requirements to UML Class Diagrams  Calero, C., Abrahão, S., García, F., Genero, M. (2007) Calidad en la Fabricación de Software. Factorías de Software: Experiencias, tecnologías y organización. Piattini, M. y Garzás, J. (eds.), Editorial Ra-Ma.Calidad en la Fabricación de Software  Publicaciones Enviadas:  Insfran E., Carsí J. A., Abrahão S., Genero M.,Ramos I., Piattini M. Empirical Evaluation of Alternative QVT Transformations in the context of MDA: a replicated study Submitted to 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville-TN, USA, 2007.  Genero M., Piattini M., Abrahão S., Insfran E., Carsí J. A., Ramos I. A Controlled Experiment for Selecting MDA Transformations based on Quality Attributes Submitted to 1st ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), Madrid, Spain, September 2007.

18 Nombre Evento18 Tareas a realizar  Analizar los datos de la réplica realizada en UCLM  Escribir un artículo de revista con los resultados de los dos experimentos realizados!  Realizar más experimentación usando otras reglas de transformación (otros dominios), otras características/atributos y perspectivas de calidad  Definir el metamodelo de calidad para dirigir las transformaciones a partir de la evidencia empírica obtenida con los experimentos realizados  Definir en QVT las transformaciones usando el metamodelo origen + metamodelo de calidad + metamodelo destino  Ejecutar en MOMENT las transformaciones dirigidas por características de calidad

19 INTRODUCCIÓN Arquitecturas Software Orientadas a Aspectos NODO MOMENT: Isidro Ramos, José Ángel Carsí, Jennifer Pérez, Nour Ali, Cristóbal Costa, Carlos Enrique Cuesta NODO MEDWSA : Bárbara Álvarez, Pedro Sánchez Palma, Juan Ángel Pastor

20 Nombre Evento20 TAREA REALIZADAS  PRISMA  Definición de un nuevo enfoque de desarrollo de arquitecturas software orientadas a aspectos basado en MDD  Definición y Formalización del Modelo PRISMA: Modelo Aspectos Simétrico y Modelo Arquitectónico con Conectores  Definición del Metamodelo PRISMA  Definición del Lenguaje de Descripción de Arquitecturas Orientado a Aspectos (LDAOA) PRISMA  Especificaciones con el LDAOA de PRISMA  EFTCoR  TeachMover -Tareas realizadas -Resultados -Tareas futuras

21 Nombre Evento21 TAREA REALIZADAS  PRISMA CASE  Herramienta de Modelado  Herramienta de modelos PRISMA  V1. Sin COTS  V.2. Con COTS  Herramienta de configuraciones PRISMA específicas de dominio  Compilador de Modelos  De modelo gráfico a lógica modal de acciones y pi-cálculo poliádico  De modelo gráfico a código C#  PRISMANET  Middleware PRISMA para.NET  Generación de Código y Ejecución  Articulación del TeachMover  Versión sin COTS  Versión con COTS -Tareas realizadas -Resultados -Tareas futuras

22 Nombre Evento22 RESULTADOS  Tesis:  PRISMA: Aspect-Oriented Software Architectures, Jennifer Pérez, Directores: Isidro Ramos, Jose Ángel Carsí, diciembre 2006  Publicaciones  Colaboraciones y contactos  Jose Luiz Fiadeiro (University of Leicester)  Flavio Oquendo (Université de Bretagne-Sud – VALORIA)  David Garlan (Carnegie Mellon University, Pitsburgh)  Frantisek Plasil (University of Charles, Prague)  Seminarios -  Seminarios - University of Charles, Prague - Universidad Rey Juan Carlos  Participación en Comités de Organización y de Programa:  Conferencia Europea de Arquitecturas Software (ECSA)  Talleres de Desarrollo Software Orientada a Aspectos (DSOA)  Simposium Brasileña de Ingeniería del Software (SBES) -Tareas realizadas -Resultados -Tareas futuras

23 Nombre Evento23 TAREAS FUTURAS  PUESTA EN MARCHA PRISMA CASE  TAREA UCLM 1.4 : Analizar medidas para arquitecturas software  TAREA UCLM 1.5 : Obtener un conjunto de indicadores válidos para arquitecturas software  TAREA UPV 2.4 : Análisis y validación de modelos arquitecturas software orientadas a aspectos  TAREA UPV 2.6: Aplicación de un modelo específico de dominio a distintos dominios de aplicación y tecnologías: modelos arquitectónicos orientados a aspectos, dinámicos y distribuidos.  LÍNEAS DE PRODUCTO PRISMA  TAREA UPV 2.5 Desarrollo de arquitecturas software orientadas a aspectos dirigido por modelos y basadas en líneas de producto  TAREA ESI 1.2 : Definición y desarrollo de un modelo de variabilidad para metodologías de desarrollo  TAREA UPCT 1.1 : Caracterización conceptual de los sistemas reactivos como líneas de producto. ¡¡Colaboración con Nuevos Nodos!!! -Tareas realizadas -Resultados -Tareas futuras

24 Nombre Evento24 TAREAS FUTURAS  ARQUITECTURAS SOFTWARE ORIENTADAS A SERVICIOS  MODELOS ESPECÍFICOS DE DOMINIO  TAREA UPCT 1.2 : Definición y seguimiento de una metodología para el desarrollo de sistemas reactivos siguiendo un enfoque dirigido por modelos  TAREA UPCT 1.3 : Modelos para los sistemas reactivos  TAREA UPCT 1.5 : Marco arquitectónico para sistemas reactivos  TAREA UPCT 1.9 : Desarrollo de un caso de estudio específico de sistema reactivo  TAREA UPV 3.5 : Definición de la Arquitectura de la Plataforma de Gestión de Emergencias -Tareas realizadas -Resultados -Tareas futuras

25 INTRODUCCIÓN Isidro Ramos Elena Navarro Patricio Letelier Requisitos y Arquitecturas SW

26 Nombre Evento26 Requisitos y Arquitecturas SW MDSD Propuesta MDSD para la definición iterativa Requisitos- Arquitectura Software (ATRIUM) trazabilidad  Soporte implícito a la trazabilidad a lo largo del ciclo de vida  Automatización  Automatización: explotación de QVT como mecanismo de transformación de modelos Separación de Concerns  Soporte para la Separación de Concerns desde etapas tempranas variabilidad  Soporte para la especificación y análisis de la variabilidad en etapas tempranas  MORPHEUS: herramienta de soporte

27 INTRODUCCIÓN Distribución y Movilidad en Arquitecturas Software Orientadas a Aspectos Nour Ali Isidro Ramos

28 Nombre Evento28 TAREA REALIZADAS  Ambient-PRISMA  Ambient-PRISMA: Extensión de PRISMA con ambientes para definir arquitecturas software para sistemas distribuidos y móviles  Definición y Formalización del Modelo Ambient-PRISMA  Definición del Metamodelo Ambient-PRISMA  Extensión del Lenguaje de Descripción de Arquitecturas Orientado a Aspectos (LDAOA) PRISMA  Especificaciones con Ambient-PRISMA  TeachMover  Agentes Moviles una Subasta Electrónica  Protocolo Handover para telefonía móvil (Colaboración: Cristóvão Oliveira, Universidad Nova de Lisboa) -Tareas realizadas -Resultados -Tareas futuras

29 Nombre Evento29 TAREA REALIZADAS  Ambient-PRISMA  PRISMANET  Extensión del Middleware PRISMA para.NET  Ampliación del modelo de communicación distribuido  Gestión del entorno distribuido  DNS Distribuido  Modelo de Transacciones  Ambient-PRISMANET  Ambientes  Movilidad -Tareas realizadas -Resultados -Tareas futuras

30 Nombre Evento30 RESULTADOS  Publicaciones  Colaboraciones y contactos  Jose Luiz Fiadeiro (University of Leicester)  Emilio Tuosto (University of Leicester)  Cristóvão Oliveira (Universidad Nova de Lisboa)  Participación en Comités de Organización y de Programa:  Conferencia Europea de Arquitecturas Software (ECSA) -Tareas realizadas -Resultados -Tareas futuras

31 Nombre Evento31 TAREAS  Ambient-PRISMA  TAREA UPV 2.2 : Definición y desarrollo de un modelo de distribución para arquitecturas software orientadas a aspectos, distribuidas y móviles  TAREA UPV 2.4 : Análisis y validación de modelos arquitecturas software orientadas a aspectos  TAREA UPV 2.6: Aplicación de un modelo específico de dominio a distintos dominios de aplicación y tecnologías: modelos arquitectónicos orientados a aspectos, dinámicos y distribuidos.  MODELOS ESPECÍFICOS DE DOMINIO  TAREA UPCT 1.2 : Definición y seguimiento de una metodología para el desarrollo de sistemas reactivos siguiendo un enfoque dirigido por modelos  TAREA UPCT 1.3 : Modelos para los sistemas reactivos  TAREA UPCT 1.5 : Marco arquitectónico para sistemas reactivos  TAREA UPCT 1.8 : Desarrollo de una herramienta que automatice el proceso  TAREA UPCT 1.9 : Desarrollo de un caso de estudio específico de sistema reactivo -Tareas realizadas -Resultados -Tareas

32 Nombre Evento32 TAREAS FUTURAS  Extender Ambient-PRISMA con seguridad  TAREA UCLM 6.4: Definir un modelo de madurez para la gestión de la seguridad  MEDICIÓN DE CALIDAD  TAREA UCLM 1.4 : Analizar medidas para arquitecturas software  TAREA UCLM 1.5 : Obtener un conjunto de indicadores válidos para arquitecturas software  LÍNEAS DE PRODUCTO  TAREA UPV 2.5 Desarrollo de arquitecturas software orientadas a aspectos dirigido por modelos y basadas en líneas de producto  TAREA UPCT 1.1 : Caracterización conceptual de los sistemas reactivos como líneas de producto.  ARQUITECTURAS SOFTWARE ORIENTADAS A SERVICIOS -Tareas realizadas -Resultados -Tareas futuras

33 Evolución Dinámica de Arquitecturas NODO MOMENT: Cristóbal Costa, Jose Ángel Carsí, Jennifer Pérez, Nour Ali, Carlos Enrique Cuesta, Isidro Ramos OBJETIVO Definir y modelar sistemas autónomos capaces de evolucionar dinámicamente, auto-adaptarse y auto- organizarse

34 Nombre Evento34 TAREAS REALIZADAS  Evolución Dinámica  Estudio de los trabajos existentes Sólo contemplan Reconfiguración Dinámica Pocos trabajos con arquitecturas jerárquicas Alta dependencia tecnológica Escasos trabajos MDD  Soporte para la evolución de tipos Definición de los conceptos necesarios para modelarla Infraestructura necesaria  Reconfiguración dinámica mediante aspectos Tareas realizadas Resultados Tareas futuras

35 Nombre Evento35 RESULTADOS  Publicaciones  Evolución de Tipos Costa C., Pérez J., Carsí J.A., Dynamic Adaptation of Aspect-Oriented Components. 10th Int. Symp. on Component-Based Software Engineering (CBSE’07). LNCS, Medford, MA, USA, July 2007  Reconfiguración Dinámica Costa C., Ali N., Pérez J., Carsí J.A., Ramos I., Towards Dynamic Reconfiguration of Aspect- oriented Software Architectures. 1st Europ. Conf. on Software Architecture (ECSA’07). LNCS, Madrid, Sept 2007 (Accepted: Poster) Tareas realizadas Resultados Tareas futuras

36 Nombre Evento36 TAREAS FUTURAS  Tareas a realizar en META  Tarea UPV 2.3 Definición de un modelo para proporcionar capacidades de evolución dinámica  Tarea UPV 2.6 Validación de resultados mediante un caso de estudio  Tarea UPV 2.4 Análisis y validación de modelos de arquitecturas software orientadas a aspectos  Tarea UCLM 1.5 Definir indicadores de calidad para evaluar el deterioro de un sistema tras varios pasos de evolución  Tarea UPCT 1.3 y 1.5 Incorporar capacidades dinámicas al modelo y marco arquitectónico para sistemas reactivos Tareas realizadas Resultados Tareas futuras

37 INTRODUCCIÓN Doctorando: Rogelio Limón C. Director : Isidro Ramos Salavert DSIC, UPV Las Vistas Arquitectónicas y sus Correspondencias Mediante la Gestión de Modelos

38 Nombre Evento38 Contexto  Arquitectura software={Estructuras}  Cada Estructura agrupa un conjunto de “asuntos de interés” que son representados por una VISTA  Existen diferentes enfoques para modelar las VISTAS  El MDA es apropiado para manejar los diferente modelos de las vistas arquitectónicas

39 Nombre Evento39 Objetivos  Vincular las distintas vistas arquitectónica mediante la gestión entre sus meta-modelos para:  Poder emigrar entre diferentes enfoques por razones de compatibilidad entre las diferentes tareas del desarrollo de software  Mantener la traza y consistencia entre las distintas vistas cuando una de ellas cambie por razones de mantenimiento o evolución  Permitir generar una vista en función de otra

40 Nombre Evento40 PROPUESTA  Los vínculos de las vistas se establece mediante la transformación de modelos usando el enfoque de MDA de OMG, “QTV”, lo cual comprende: o Identificar correspondencias entre los diferentes modelos de vistas o Diseño de los meta-modelos de vistas donde se incluyen las diferentes relaciones entre los elementos ( estilos arquitectónicos) o Aplicar las transformaciones o Realizar análisis de los modelos

41 Nombre Evento41 Elementos considerados  Se toma el enfoque de las vistas propuesto por el SEI (Software Engineering Institute): o Vistas: modular, C&C, asignación o En sus meta-modelos se representan los distintos estilos arquitectónicos de cada vista (pipe-filter, cliente-servidor,…)  Para establecer sus relaciones y realizar sus transformaciones se ocupa el QVT, usando el “work bench” Eclipse-together

42 INTRODUCCIÓN GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO EN LÍNEAS DE PRODUCTO Alumna de doctorado: Ma. Eugenia Cabello Espinosa Director: Isidro Ramos Salavert

43 INTRODUCCIÓN GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO EN LÍNEAS DE PRODUCTO OBJETIVO OBJETIVO: Crear un Framework que genere automáticamente sistemas de diagnóstico en dominios específicos basados en líneas de producto.

44 Nombre Evento44 GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO EN LÍNEAS DE PRODUCTO SPL FOP RAS SPEM Aplicando: Procesar la ingeniería en LPS: Ing. Dominio Ing. Aplicación Insertar “features” Especificar y empaquetar “assets”” Modelar procesos de desarrollo SW Considerando: Arquitectura SE Modelo PRISMA Variabilidad diagnóstico

45 Nombre Evento45 GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO EN LÍNEAS DE PRODUCTO Ing. del Dominio

46 Nombre Evento46 PLAN DE PRODUCCIÓN DE LA LÍNEA DE PRODUCTOS SOFTWARE DE DIAGNÓSTICO

47 INTRODUCCIÓN Elena Navarro Patricio Letelier Líneas de productos SW en aplicaciones industriales

48 Nombre Evento48 Líneas de Producto SW en aplicaciones industriales Caso de Estudio: Sistema de Monitorización Permanente de Campos Electromagnéticos

49 Modelado de Sistemas para Gestión de Emergencias Grupo AIS

50 Nombre Evento50 Modelado de Sistemas para Gestión de Emergencias TareaProducto(s) Definición de una ontología común para representar la gestión de emergencias Ontología + Lenguaje específico de dominio Especificación y Validación de Modelos de Coordinación y Colaboración en la Gestión de Emergencias Lenguaje de procesos flexibles + entornos de ejecución Presentación de la Información y el Contexto en la Gestión de Emergencias Dirigida por Modelos Método obtención modelos navegacionales Tratamiento de la Información y el Contexto en la Gestión de Emergencias Dirigida por Modelos Conexión con Bibliotecas Digitales + Marco tratamiento información contextual Definición de la Arquitectura de la Plataforma de Gestión de Emergencias. Framework Orientado a Servicios