Medición Genérica basada en Modelos sobre MOMENT Responsable Félix García (ESFINGE) Participantes Beatriz Mora, Paco Ruiz, Mario Piattini (ESFINGE) Abel.

Presentación del tema: "Medición Genérica basada en Modelos sobre MOMENT Responsable Félix García (ESFINGE) Participantes Beatriz Mora, Paco Ruiz, Mario Piattini (ESFINGE) Abel."— Transcripción de la presentación:

1 Medición Genérica basada en Modelos sobre MOMENT Responsable Félix García (ESFINGE) Participantes Beatriz Mora, Paco Ruiz, Mario Piattini (ESFINGE) Abel Gómez, Pepe Carsí, Isidro Ramos, Artur Boronat (MOMENT)

2 Nombre Evento2 Motivación  Marco de trabajo para la medición génerica de artefactos software en un proceso DSDM  Metamodelo de medición  modelos reprentan mediciones concretas  sintaxis concreta visual  Evaluación de mediciones basadas en transformaciones de modelos

3 Nombre Evento3 Estado actual  Propuesta del marco de trabajo  Primera versión del metamodelo del DSL  Método de medición genérico: CONTAR  Caso de estudio, probado en el framework MOMENT: medición de una BBDD relacional  Publicación: JISBD 2007

4 Nombre Evento4 Tareas específicas Hito 1 (enero 2008)  Completar la ejecución del ejemplo  Generación automática de transformaciones QVT:  meta-transformaciones  Refinar el método de medición CONTAR  Parametrización con expresiones OCL Hito 2 (Junio 2008)  Caso de estudio  Modelos de proceso  Producto resultado del proceso Hito 3 (...)  Gestión de modelos: utilizar el desarrollo del marco de medición como caso de estudio Publicaciones  tareas 1, 2  tarea 3  marco completo con caso de estudio

5 Verificación Formal de Configuraciones Redes de Sensores Inalámbricas Responsable MOMENT : Artur Boronat (aboronat@dsic.upv.es) Participantes MEDWSA: Fernando Losilla (fernando.losilla@upct.es), Paqui Rosique (paqui.rosique@upct.es)paqui.rosique@upct.es Cristina Vicente (cristina.vicente@upct.es) DEDALO: Francisco J. Lucas (fjlucas@um.es) Ambrosio Toval (atoval@um.es) MOMENT: Isidro Ramos (iramos@dsic.upv.es)

6 Nombre Evento6 Contexto (por cortesía de MEDWSA)  Generación de código NesC para definir redes inalámbricas de sensores Contexto Overview Problema Tareas

7 Nombre Evento7 Overview: DSL  DSL para redes de sensores wireless (WSAN-DSL)  permite la definición del modelo de dominio de una red de sensores inalámbricos: comportamiento y estructura  sintaxis abstracta: metamodelo Ecore Contexto Overview Problema Tareas

8 Nombre Evento8 Overview: ejemplo  Configuración de una red de sensores inalámbricos en la que se puede especificar  flujo de información  tiempo Contexto Overview Problema Tareas

9 Nombre Evento9 Problemas  No existe una semántica formal para WSAN-DSL:  Mediante WSAN-DSL, se puede definir el comportamiento como dato, pero no se ha formalizado la semántica dinámica  Metamodelo de estructura incompleto: no se pueden modelar estados iniciales  Verificación de propiedades (basada en Maude)  formalización del metamodelo WSAN-DSL  análisis de alcanzabilidad  bounded model checking: liveness property contraejemplo traza Contexto Overview Problema Tareas

10 Nombre Evento10 Tareas  Soporte actual  Marco algebraico MOMENT2  Integración con EMF  Herramientas de verificación basadas en Maude  WSAN-DSL: comportamiento (metamodelo EMF y sintaxis gráfica visual)  Tareas  MEDWSA completar metamodelo para definir estados: estructura conocimiento sobre el dominio de aplicación  MOMENT soporte formal y tecnológico para metamodelos conocimiento sobre la tecnología y formalismos  DEDALO formalización de la semántica dinámica de WSAN-DSL –Real-time Maude –MOMENT2 –Herramientas de verificación formal basadas en Maude –Maude Development Tools Contexto Overview Problema Tareas

11 Nombre Evento11 Tareas específicas  MEDWSA:  completar metamodelo  diseñar 2 casos de estudio  estudiar requisitos y extraer al menos 2 propiedades críticas  DEDALO y MOMENT  Estudio: orientación a objetos en Maude, MOMENT2, Real-time Maude  Septiembre 2007: especificación de los de los casos de estudio  Enero 2008: generación automática de módulos de sistema a partir de modelos WSAN-DSL