Formalización de descripciones de casos de uso a través de metamodelos (ForCUPIDo)

Abstract

El Desarrollo Dirigido por Modelos (MDD) plantea la transformación formal y sistemática de modelos abstractos en modelos específicos a una tecnología, hasta llegar a modelos de implementación que producen código fuente. Utilizando metamodelos que abstraen los elementos de un dominio, un diseñador puede generar diagramas para definir el espacio del problema y su solución. En proyectos anteriores se desarrollaron dos metamodelos para dominios específicos: una plantilla denominada CUPIDo que impone restricciones en la documentación de casos de uso, y una serie de herramientas para el procesamiento de lenguajes específicos del dominio. Este proyecto, bajo el MDD, propone la explotación de ambos metamodelos para producir prototipos de sistemas de software en forma semiautomática.