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