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.
Aplicar la tecnología desarrollada en dominios novedosos, tales como: Safety Oriented Sysytems, Bioinformática, Sistemas de Sensores y Actuadores, y Web Semántica.