Tareas META relacionadas con el grupo de trabajo Transformaciones MDA

A continuación se indican tareas del proyecto META relacionadas con los intereses del grupo. Este grupo se centra en el desarrollo de tecnología formal de DSDM, que se aplicará en casos de estudio proporcionados por otros grupos. Por ello, las tareas descritas no son exclusivas de nuestro grupo. También se indica, los nodos que demostraron interés por las diferentes tareas (véase Memoria Inicial META para una definición detallada de las tareas y de los investigadores involucrados en cada tarea).

Véase la documentación desarrollada para cada tarea.

AÑO 1

• UPV 1.1 Estudio de trabajos relacionados (MOMENT, ESFINGE, META-METHOD)

• UPV 1.2 Definición y desarrollo de un marco formal para la gestión industrial de modelos (MOMENT, MEDWSA, ESFINGE)

• UPV 1.3 Estudio y desarrollo de operadores para la manipulación de modelos (MOMENT, ESFINGE)

• UPV 1.4 Soporte a la trazabilidad de manipulaciones de modelos (MOMENT, MEDWSA, DEDALO)

• UPV 1.5 Soporte formal para lenguajes y modelos específicos de dominio (MOMENT, MEDWSA, DEDALO)

• UPV 1.6 Definición de la aproximación de gestión de modelos en un marco categórico

• UMU 3.1 Estudio y definición de procesos genéricos dedicados a la V&V de modelos en el ámbito de la propuesta MDA (DEDALO, MEDWSA, ESFINGE, MOMENT, METAMETHOD)

• UMU 3.3 Identificar estrategias que mejore definición de la semántica actual de los metamodelos de UML (DEDALO, ESFINGE, MOMENT)

• UCLM 1.6 Proponer medidas e indicadores que puedan aplicarse en la transformación de modelos en MDD (ESFINGE, MEDWSA, DEDALO, MOMENT, METAMETHOD)

• UCLM 1.7 Desarrollar y validar una metodología de medición del software (ESFINGE, MOMENT)

AÑO 2

• UPV 1.1 Estudio de trabajos relacionados (MOMENT, ESFINGE, META-METHOD)

• UPV 1.3 Estudio y desarrollo de operadores para la manipulación de modelos (MOMENT, ESFINGE)

• UPV 1.4 Soporte a la trazabilidad de manipulaciones de modelos (MOMENT, MEDWSA, DEDALO)

• UPV 1.5 Soporte formal para lenguajes y modelos específicos de dominio

• UPV 1.6 Definición de la aproximación de gestión de modelos en un marco categórico

• UPV 1.7 Soporte para lenguajes de consulta y sus aplicaciones (MOMENT-DEDALO)

• UPV 1.8 Software Factories y líneas de producto (MOMENT, MEDWSA, ESFINGE)

• UPV 1.9 Aplicación de la gestión de modelos a la Web Semántica (MOMENT-DEDALO)

• UPV 1.10 Estudio y desarrollo de un entorno para la generación semiautomática de compiladores de modelos basados en plantillas de transformación XSL (MOMENT)

• UPV 1.11 Aplicación de la gestión de modelos a la bioinformática (MOMENT)

• UPV 1.12 Aplicación de la gestión de modelos en Ingeniería de Requisitos (MOMENT, MEDWSA, DEDALO)

• UMU 2.8 Uso y adaptación del lenguaje semiformal OCL, en su nueva versión 2.0, para la especificación de restricciones de seguridad en el diseño de bases de datos seguras (DEDALO, ESFINGE, MOMENT)

• UMU 3.1 Estudio y definición de procesos genéricos dedicados a la V&V de modelos en el ámbito de la propuesta MDA (DEDALO, MEDWSA, ESFINGE, MOMENT, METAMETHOD)

• UMU 3.2 V&V de transformaciones en el ámbito del desarrollo dirigido por modelos (DEDALO, MEDWSA, ESFINGE, MOMENT, METAMETHOD)

• UMU 3.3 Identificar estrategias que mejore definición de la semántica actual de los metamodelos de UML (DEDALO, ESFINGE, MOMENT)

• UMU 3.4 Soporte automatizado de la estrategia obtenida en 3.3 (DEDALO, ESFINGE, MOMENT)

• UMU 3.5 Estudio de la equivalencia semántica entre diagramas UML (DEDALO, ESFINGE, MOMENT)

• UMU 3.6 Estudio y especificación estándar de transformación de modelos QVT (DEDALO, MOMENT, ESFINGE)

• UCLM 1.3 Proponer indicadores multivista basados en los diferentes modelos UML/OCL combinados (ESFINGE, MOMENT)

• UCLM 1.6 Proponer medidas e indicadores que puedan aplicarse en la transformación de modelos en MDD (ESFINGE, MEDWSA, DEDALO, MOMENT, METAMETHOD)

• UCLM 1.12 Prototipo de herramienta abierta y extensible para la medición del software (ESFINGE, MOMENT)

• UPCT 1.6 Definición de reglas de transformación de PIM a modelos arquitectónicos (MEDWSA, MOMENT)

• ESI 1.5 Desarrollo de transformaciones MDD para el modelo de variabilidad (METAMETHOD, MOMENT, DEDALO)

AÑO 3

• UPV 1.1 Estudio de trabajos relacionados (MOMENT, ESFINGE, META-METHOD)

• UPV 1.3 Estudio y desarrollo de operadores para la manipulación de modelos (MOMENT, ESFINGE)

• UPV 1.4 Soporte a la trazabilidad de manipulaciones de modelos (MOMENT, MEDWSA, DEDALO)

• UPV 1.7 Soporte para lenguajes de consulta y sus aplicaciones (MOMENT-DEDALO)

• UPV 1.8 Software Factories y líneas de producto (MOMENT, MEDWSA, ESFINGE)

• UPV 1.9 Aplicación de la gestión de modelos a la Web Semántica (MOMENT-DEDALO)

• UPV 1.10 Estudio y desarrollo de un entorno para la generación semiautomática de compiladores de modelos basados en plantillas de transformación XSL (MOMENT)

• UPV 1.11 Aplicación de la gestión demodelos a la bioinformática (MOMENT)

• UPV 1.12 Aplicación de la gestión de modelos en Ingeniería de Requisitos (MOMENT, MEDWSA, DEDALO)

• UMU 2.8 Uso y adaptación del lenguaje semiformal OCL, en su nueva versión 2.0, para la especificación de restricciones de seguridad en el diseño de bases

• UMU 3.2 V&V de transformaciones en el ámbito del desarrollo dirigido por modelos (DEDALO, MEDWSA, ESFINGE, MOMENT, METAMETHOD)

• UMU 3.5 Estudio de la equivalencia semántica entre diagramas UML (DEDALO, ESFINGE, MOMENT)

• UMU 3.6 Estudio y especificación estándar de transformación de modelos QVT (DEDALO, MOMENT, ESFINGE)

• UPCT 1.6 Definición de reglas de transformación de PIM a modelos arquitectónicos (MEDWSA, MOMENT)

• ESI 1.5 Desarrollo de transformaciones MDD para el modelo de variabilidad (METAMETHOD, MOMENT, DEDALO)

-- ArturBoronat - 06 Jun 2007