introducciÓn grupo issi i.ramos upv ciudad real 14-15 junio 2007 moment
TRANSCRIPT
INTRODUCCIÓN
GRUPO ISSII.Ramos
UPVCiudad Real 14-15 junio 2007
MOMENT
Nombre Evento 2
GESTION DE MODELOS.MOMENT
Soporte formal para metamodeladoAplicación de la gestión de modelos a
la bioinformáticaPrototipos para la gestión de modelos
Nombre Evento 3
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 metamodeladoestudio de técnicas de verificación formalestudio de la reflexión en MOFdesarrollo de un marco formal y ejecutable para
MOF + OCL, con soporte para reflexión estructural
integración del marco formal en EMF
Nombre Evento 4
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
Nombre Evento 5
Tema: primeros prototipos para la gestión de modelos
Nodos: MOMENTparticipantes:
• Artur Boronat• José Á. Carsí• Abel Gómez• Emilio Insfrán• Pascual Queralt• Isidro Ramos
Nombre Evento 6
Tema: primeros prototipos para la gestión de modelos
Tareas realizadassoporte para Maude en Eclipse (MDT)soporte tecnológico para OCL: MOMENT-OCLsoporte tecnológico para QVT Relations:
MOMENT-QVTsoporte tecnológico para operadores de gestión
de modelossoporte visual para trazabilidadprototipo de una herramienta CASE: UML y
bases de datos relacionales Resultados
JISBD: 1 demoTesisColaboración con CapGemini
Nombre Evento 7
Limitaciones de los prototipos
MOMENT-QVTno se soporta semántica “checkonly”no se soporta pattern matching recursivo front-end demasiado complejo
Tareas a realizarsoporte 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
Nombre Evento 8
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.
Nombre Evento 9
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.
Nombre Evento 10
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)…
Nombre Evento 11
TAREAS ISSI
TEMAS: ARQUITECTURAS
Arquitecturas Software Orientadas a Aspectos
Requisitos y Arquitecturas SWDistribución y Movilidad en
Arquitecturas Software Orientadas a Aspectos
Evolución Dinámica de ArquitecturasLas Vistas Arquitectónicas y sus
Correspondencias Mediante la Gestión de Modelos
Nombre Evento 12
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
Nombre Evento 13
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
Nombre Evento 14
Objetivos Definición de un metamodelo de calidad
para dirigir las transformacionesSelección de dominios especificos (Requisitos,
Bioinformática, etc.)Estudio de transformaciones alternativas con
respecto a características y atributos de calidadValidación empírica de transformación de modelosDefinición de meta-metricasDefinición de las transformaciones en QVT Ejecución en MOMENT de las transformaciones
dirigidas por atributos de calidad
Nombre Evento 15
Metamodelo de Calidad Será construído de manera empírica a partir de la
evidencia obtenida con los experimentos controlados!
Modelo DestinoTransformaciónModelo Origen
Definición de la Transformación
Modelo de Calidad
Atributos de calidad dinámicos
Metamodelo Origen
Metamodelo Destino
Instancia de Instancia de
Metamodelo de Calidad
Instancia de
Metamodelo del Lenguaje de
Transformación
Instancia de
Atributos de calidad estáticos
ejecuta
lee escribe
Patrón de transformación genérico dirigido por características de calidad
Nombre Evento 16
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)
Nombre Evento 17
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.
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.
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.
Nombre Evento 18
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
INTRODUCCIÓN
Arquitecturas Software
Orientadas a AspectosNODO 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
Nombre Evento 20
TAREA REALIZADAS PRISMAPRISMA
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 PRISMADefinición del Lenguaje de Descripción de
Arquitecturas Orientado a Aspectos (LDAOA) PRISMA
Especificaciones con el LDAOA de PRISMAEFTCoR TeachMover
-Tareas realizadas
-Resultados
-Tareas futuras
Nombre Evento 21
TAREA REALIZADAS PRISMA CASEPRISMA CASE
Herramienta de ModeladoHerramienta de modelos PRISMA
V1. Sin COTSV.2. Con COTS
Herramienta de configuraciones PRISMA específicas de dominio
Compilador de ModelosDe modelo gráfico a lógica modal de acciones y pi-
cálculo poliádicoDe modelo gráfico a código C#
PRISMANET Middleware PRISMA para .NET
Generación de Código y EjecuciónArticulación del TeachMover
Versión sin COTSVersión con COTS
-Tareas realizadas
-Resultados
-Tareas futuras
Nombre Evento 22
RESULTADOS Tesis:Tesis:
PRISMA: Aspect-Oriented Software Architectures, Jennifer PRISMA: Aspect-Oriented Software Architectures, Jennifer Pérez, Directores: Isidro Ramos, Jose Ángel Carsí, Pérez, Directores: Isidro Ramos, Jose Ángel Carsí, diciembre 2006diciembre 2006
PublicacionesPublicaciones Colaboraciones y contactosColaboraciones 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)
SeminariosSeminarios- - 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
Nombre Evento 23
TAREAS FUTURAS PUESTA EN MARCHA PRISMA CASEPUESTA EN MARCHA PRISMA CASE
TAREA UCLM 1.4 : TAREA UCLM 1.4 : Analizar medidas para Analizar medidas para arquitecturas software arquitecturas software
TAREA UCLM 1.5 :TAREA UCLM 1.5 : Obtener un conjunto de Obtener un conjunto de indicadores válidos para arquitecturas softwareindicadores válidos para arquitecturas software
TAREA UPV 2.4 :TAREA UPV 2.4 : Análisis y validación de modelos Análisis y validación de modelos arquitecturas software orientadas a aspectos arquitecturas software orientadas a aspectos
TAREA UPV 2.6:TAREA UPV 2.6: Aplicación de un modelo específico Aplicación de un modelo específico de dominio a distintos dominios de aplicación y de dominio a distintos dominios de aplicación y tecnologías: modelos arquitectónicos orientados a tecnologías: modelos arquitectónicos orientados a aspectos, dinámicos y distribuidos.aspectos, dinámicos y distribuidos.
LÍNEAS DE PRODUCTO PRISMALÍNEAS DE PRODUCTO PRISMA TAREA UPV 2.5 TAREA UPV 2.5 Desarrollo de arquitecturas software Desarrollo de arquitecturas software
orientadas a aspectos dirigido por modelos y basadas orientadas a aspectos dirigido por modelos y basadas en líneas de producto en líneas de producto
TAREA ESI 1.2 :TAREA ESI 1.2 : Definición y desarrollo de un modelo Definición y desarrollo de un modelo de variabilidad para metodologías de desarrollo de variabilidad para metodologías de desarrollo
TAREA UPCT 1.1 :TAREA UPCT 1.1 : Caracterización conceptual de los Caracterización conceptual de los sistemas reactivos como líneas de producto.sistemas reactivos como líneas de producto.
¡¡Colaboración con Nuevos Nodos!!!
-Tareas realizadas
-Resultados
-Tareas futuras
Nombre Evento 24
TAREAS FUTURAS ARQUITECTURAS SOFTWARE ARQUITECTURAS SOFTWARE
ORIENTADAS A SERVICIOSORIENTADAS A SERVICIOS MODELOS ESPECÍFICOS DE DOMINIOMODELOS ESPECÍFICOS DE DOMINIO
TAREA UPCT 1.2TAREA UPCT 1.2 : Definición y seguimiento : Definición y seguimiento de una metodología para el desarrollo de de una metodología para el desarrollo de sistemas reactivos siguiendo un enfoque sistemas reactivos siguiendo un enfoque dirigido por modelos dirigido por modelos
TAREA UPCT 1.3 TAREA UPCT 1.3 : Modelos para los : Modelos para los sistemas reactivos sistemas reactivos
TAREA UPCT 1.5 :TAREA UPCT 1.5 : Marco arquitectónico Marco arquitectónico para sistemas reactivos para sistemas reactivos
TAREA UPCT 1.9 :TAREA UPCT 1.9 : Desarrollo de un caso de Desarrollo de un caso de estudio específico de sistema reactivoestudio específico de sistema reactivo
TAREA UPV 3.5 :TAREA UPV 3.5 : Definición de la Definición de la Arquitectura de la Plataforma de Gestión de Arquitectura de la Plataforma de Gestión de EmergenciasEmergencias
-Tareas realizadas
-Resultados
-Tareas futuras
INTRODUCCIÓN
Isidro RamosElena Navarro
Patricio Letelier
Requisitos y Arquitecturas SW
Nombre Evento 26
Requisitos y Arquitecturas SW
Propuesta MDSDMDSD para la definición iterativa Requisitos-Arquitectura Software (ATRIUM)
Soporte implícito a la trazabilidadtrazabilidad a lo largo del ciclo de vida AutomatizaciónAutomatización: explotación de QVT como mecanismo de
transformación de modelos Soporte para la Separación de ConcernsSeparación de Concerns desde etapas
tempranas Soporte para la especificación y análisis de la variabilidadvariabilidad en
etapas tempranas MORPHEUS: herramienta de soporte
INTRODUCCIÓN
Distribución y Movilidad en Arquitecturas
Software Orientadas a AspectosNour Ali
Isidro Ramos
Nombre Evento 28
TAREA REALIZADAS
Ambient-PRISMAAmbient-PRISMAAmbient-PRISMA: Extensión de PRISMA con
ambientes para definir arquitecturas software para sistemas distribuidos y móvilesDefinición y Formalización del Modelo Ambient-
PRISMADefinición del Metamodelo Ambient-PRISMAExtensión del Lenguaje de Descripción de
Arquitecturas Orientado a Aspectos (LDAOA) PRISMA
Especificaciones con Ambient-PRISMATeachMoverAgentes Moviles una Subasta ElectrónicaProtocolo Handover para telefonía móvil
(Colaboración: Cristóvão Oliveira, Universidad Nova de Lisboa)
-Tareas realizadas
-Resultados
-Tareas futuras
Nombre Evento 29
TAREA REALIZADAS
Ambient-PRISMA Ambient-PRISMA PRISMANET
Extensión del Middleware PRISMA para .NET
Ampliación del modelo de communicación distribuido
Gestión del entorno distribuido DNS DistribuidoModelo de Transacciones
Ambient-PRISMANETAmbientesMovilidad
-Tareas realizadas
-Resultados
-Tareas futuras
Nombre Evento 30
RESULTADOS
PublicacionesPublicacionesColaboraciones y contactosColaboraciones 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
Nombre Evento 31
TAREAS Ambient-PRISMAAmbient-PRISMA
TAREA UPV 2.2TAREA UPV 2.2 : Definición y desarrollo de un modelo : Definición y desarrollo de un modelo de distribución para arquitecturas software orientadas a de distribución para arquitecturas software orientadas a aspectos, distribuidas y móviles aspectos, distribuidas y móviles
TAREA UPV 2.4 :TAREA UPV 2.4 : Análisis y validación de modelos Análisis y validación de modelos arquitecturas software orientadas a aspectos arquitecturas software orientadas a aspectos
TAREA UPV 2.6:TAREA UPV 2.6: Aplicación de un modelo específico de Aplicación de un modelo específico de dominio a distintos dominios de aplicación y tecnologías: dominio a distintos dominios de aplicación y tecnologías: modelos arquitectónicos orientados a aspectos, modelos arquitectónicos orientados a aspectos, dinámicos y distribuidos.dinámicos y distribuidos.
MODELOS ESPECÍFICOS DE DOMINIOMODELOS ESPECÍFICOS DE DOMINIO TAREA UPCT 1.2TAREA UPCT 1.2 : Definición y seguimiento de una : Definición y seguimiento de una
metodología para el desarrollo de sistemas reactivos metodología para el desarrollo de sistemas reactivos siguiendo un enfoque dirigido por modelos siguiendo un enfoque dirigido por modelos
TAREA UPCT 1.3 TAREA UPCT 1.3 : Modelos para los sistemas reactivos : Modelos para los sistemas reactivos TAREA UPCT 1.5 :TAREA UPCT 1.5 : Marco arquitectónico para sistemas Marco arquitectónico para sistemas
reactivosreactivos TAREA UPCT 1.8 : TAREA UPCT 1.8 : Desarrollo de una herramienta que Desarrollo de una herramienta que
automatice el procesoautomatice el proceso TAREA UPCT 1.9 :TAREA UPCT 1.9 : Desarrollo de un caso de estudio Desarrollo de un caso de estudio
específico de sistema reactivoespecífico de sistema reactivo
-Tareas realizadas
-Resultados
-Tareas
Nombre Evento 32
TAREAS FUTURAS Extender Ambient-PRISMA con Extender Ambient-PRISMA con
seguridadseguridad TAREA UCLM 6.4: Definir un modelo de TAREA UCLM 6.4: Definir un modelo de
madurez para la gestión de la seguridadmadurez para la gestión de la seguridad MEDICIÓN DE CALIDADMEDICIÓN DE CALIDAD
TAREA UCLM 1.4 : TAREA UCLM 1.4 : Analizar medidas para Analizar medidas para arquitecturas software arquitecturas software
TAREA UCLM 1.5 :TAREA UCLM 1.5 : Obtener un conjunto de Obtener un conjunto de indicadores válidos para arquitecturas softwareindicadores válidos para arquitecturas software
LÍNEAS DE PRODUCTOLÍNEAS DE PRODUCTO TAREA UPV 2.5 TAREA UPV 2.5 Desarrollo de arquitecturas Desarrollo de arquitecturas
software orientadas a aspectos dirigido por software orientadas a aspectos dirigido por modelos y basadas en líneas de producto modelos y basadas en líneas de producto
TAREA UPCT 1.1 :TAREA UPCT 1.1 : Caracterización conceptual de Caracterización conceptual de los sistemas reactivos como líneas de producto.los sistemas reactivos como líneas de producto.
ARQUITECTURAS SOFTWARE ARQUITECTURAS SOFTWARE ORIENTADAS A SERVICIOSORIENTADAS A SERVICIOS
-Tareas realizadas
-Resultados
-Tareas futuras
Evolución Dinámica de ArquitecturasNODO MOMENT:
Cristóbal Costa, Jose Ángel Carsí, Jennifer Pérez, Nour Ali, Carlos Enrique Cuesta, Isidro Ramos
OBJETIVODefinir y modelar sistemas autónomos capaces de evolucionar dinámicamente, auto-adaptarse y auto-organizarse
Nombre Evento 34
TAREAS REALIZADAS
Evolución DinámicaEstudio 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
Nombre Evento 35
RESULTADOS
PublicacionesEvolució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
Nombre Evento 36
TAREAS FUTURAS Tareas a realizar en METATareas a realizar en META
Tarea UPV 2.3• Definición de un modelo para proporcionar
capacidades de evolución dinámicaTarea 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
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
Nombre Evento 38
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
Nombre Evento 39
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
Nombre Evento 40
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
Nombre Evento 41
Elementos considerados
Se toma el enfoque de las vistas propuesto por el SEI (Software Engineering Institute):o Vistas: modular, C&C, asignacióno 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
INTRODUCCIÓNGENERADOR AUTOMÁTICO DE GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO SISTEMAS DE DIAGNÓSTICO
BASADO EN LÍNEAS DE BASADO EN LÍNEAS DE PRODUCTOPRODUCTO
Alumna de doctorado: Ma. Eugenia Cabello EspinosaDirector: Isidro Ramos Salavert
INTRODUCCIÓN
GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO
EN LÍNEAS DE PRODUCTO
OBJETIVOOBJETIVO: Crear un Framework que genere automáticamente sistemas de diagnóstico en dominios específicos basados en líneas de producto.
Nombre Evento 44
GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO EN LÍNEAS DE PRODUCTO
SPL FOP RASSPEM
Aplicando:
Procesar la ingenieríaen LPS:•Ing. Dominio•Ing. Aplicación
Insertar “features”
Especificar y empaquetar“assets””
Modelar procesosde desarrollo SW
Considerando:
ArquitecturaSE
Modelo PRISMA
Variabilidaddiagnóstico
Nombre Evento 45
GENERADOR AUTOMÁTICO DE SISTEMAS DE DIAGNÓSTICO BASADO EN LÍNEAS DE PRODUCTO
Ing. del Dominio
Crear Modelo de Características
Modelo de Características
<<out>>
Variabilidad Dominio del Diagnóstico
CIMCIM
<<out>>
CIMCIM
<<in>>
Árbol de Decisiónde puntos de variabilidaddel dominio
Crear Árbol de Decisiónde puntos de variabilidad del dominio
Crear Modelo del Dominio
<<out>>
PIMPIM<<in>>
Modelo del Dominio
Nombre Evento 46
PLAN DE PRODUCCIÓN DE LA LÍNEA DE PRODUCTOS SOFTWARE DE DIAGNÓSTICO
Ing. de Aplicación
Crear Configuración de características del Dominio
<<out>>
<<in>>
Modelo conceptual del dominio(XML)
Seleccionar activos
<<out>>
Activos
ActivosSeleccionados
<<in>>
<<in>>
Proceso para elegir grupos de activos
<<in>>
<<in>>
<<in>>
Configuración de características del dominio
MCDA seleccionado
Seleccionar MCDA
<<out>>
<<in>>
<<in>>
Modelos Conceptuales del Dominio de Aplicación
Proceso para elegir MCDA
<<in>>
Configuración de características del dominio de aplicación
Crear configuración de características del dominio de aplicación
<<out>> <<in>>
Tipos
<<out>>
Crear tipos
<<in>>
Configurar arquitectura
Metodología para crear arquitecturas
<<in>>
<<out>>
Arquitecturadel sistema(Modelo Arquitectónico)
<<in>>
Compilar modelo
<<out>> <<in>> <<out>>
Crear sistema ejecutable
Sistema ejecutableModelo arquitectónico compilado(C#)
INTRODUCCIÓN
Elena NavarroPatricio Letelier
Líneas de productos SW en
aplicaciones industriales
Nombre Evento 48
Líneas de Producto SW en aplicaciones industriales
Caso de Estudio: Sistema de Monitorización Permanente de Campos Electromagnéticos
Modelado de Sistemas para Gestión de Emergencias
Grupo AIS
Nombre Evento 50
Modelado de Sistemas para Gestión de Emergencias
Tarea Producto(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