Documentación y recursos

• Documentación y recursos asociados al subproyecto MOMENT (acceso restringido)

Subproyecto MOMENT
(MOdel manageMENT)

Subproyecto MOMENT
(MOdel manageMENT)

Subproyecto MOMENT
(MOdel manageMENT)

Subproyecto MOMENT (MOdel manageMENT)

Grupo de Investigación Ingeniería de Software y Sistemas de Información (ISSI), departamento de Sistemas Informáticos y Computación (DSIC), Universidad Politécnica de Valencia (UPV)

Objetivos Específicos

1. Diseñar, formalizar e implementar un marco genérico para la gestión de modelos en el que se puedan realizar manipulaciones de modelos (transformación de modelos, composición de modelos, verificación y compilación de artefactos software) y consultas de modelos (OCL, trazabilidad, comparación de modelos) siguiendo estándares industriales (MOF, QVT, OCL). Este marco para la gestión de modelos persigue la obtención de calidad, interoperabilidad, reutilización, trazabilidad y productividad en el proceso de desarrollo de software basado en modelos.
2. Demostrar la viabilidad de dicho marco en las aproximaciones más actuales de desarrollo de software AOSD, DSBC, Arquitecturas Software, Líneas de Producto… y sus correspondientes procesos, desde requisitos a código aplicando técnicas de verificación formales que garanticen la corrección de las transformaciones.
3. Aplicar la tecnología desarrollada en dominios novedosos, tales como: Safety Oriented Sysytems, Bioinformática, Sistemas de Sensores y Actuadores, y Web Semántica.

-- AbelGomez - 16 May 2007