Grupo Transformaciones MDA Coordinador Artur Boronat (MOMENT) Asistentes Félix García, Beatriz Mora (ESFINGE) Francisco J. Lucas, Ambrosio Toval, Fernando Molina (DEDALO) Cristina Vicente, Fernando Losilla, Paqui Rosique (MEDWSA) Pepe Carsí, Abel Gómez, Isidro Ramos (MOMENT) I Jornadas de Trabajo META Ciudad Real, Junio 2007

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)

I Jornadas de Trabajo META3 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 Motivación Estado actual Tareas

I Jornadas de Trabajo META4 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 Motivación Estado actual Tareas

I Jornadas de Trabajo META5 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 Motivación Estado actual Tareas

Verificación Formal de Configuraciones Redes de Sensores Inalámbricas Responsable MOMENT : Artur Boronat Participantes MEDWSA: Fernando Losilla Paqui Rosique Cristina Vicente DEDALO: Francisco J. Lucas Ambrosio Toval MOMENT: Isidro Ramos

I Jornadas de Trabajo META7 Motivación (por cortesía de MEDWSA)  Generación de código NesC para implementar redes inalámbricas de sensores Motivación Estado actual Tareas

I Jornadas de Trabajo META8 Motivación  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 Motivación Estado actual Tareas

I Jornadas de Trabajo META9 Estado 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) Motivación Estado actual Tareas

I Jornadas de Trabajo META10 Tareas  MEDWSA:  Julio 2007: completar metamodelo diseñar 2 casos de estudio estudiar requisitos y extraer al menos 2 propiedades críticas: VALIDAR RELEVANCIA  Septiembre-Octubre 2007: datos reales para experimentación  Enero 2008: sintaxis concreta visual del DSL  DEDALO y MOMENT  Estudio: orientación a objetos en Maude, MOMENT2, Real-time Maude  Septiembre 2007: especificación adhoc de los de los casos de estudio y verificación de propiedades  Enero 2008: generación automática de la semántica dinámica de configuraciones WSAN y verificación de propiedades Motivación Estado actual Tareas