Formalización de Descripciones de Casos de Uso a través de Metamodelos (ForCUPIDo)

El Desarrollo Dirigido por Modelos (MDD) plantea la transformacion formal y sistematica de modelos abstractos en modelos especificos a una tecnologia, hasta llegar a modelos de implementacion que producen codigo fuente. Utilizando metamodelos que abstraen los elementos de un dominio, un disenador puede generar diagramas para definir el espacio del problema y su solucion. En proyectos anteriores se desarrollaron dos metamodelos para dominios especificos: una plantilla denominada CUPIDo que impone restricciones en la documentacion de casos de uso, y una serie de herramientas para el procesamiento de lenguajes especificos del dominio. Este proyecto, bajo el MDD, propone la explotacion de ambos metamodelos para producir prototipos de sistemas de software en forma semiautomatica.