Resumen

Para aprovechar el estándar MDE en todo su potencial es necesario que el lenguaje UML sea equipado con una maquinaria de refinamiento, formalizada y soportada por herramientas automáticas. El objetivo de este proyecto consiste en presentar una definición formal de la sintaxis y semántica de los artefactos del UML que permiten especificar la relación de refinamiento, construir una metodología de refinamientos sucesivos, basada en una teoría formal, consistente en patrones de refinamiento, heurísticas y reglas de refinamiento y finalmente desarrollar herramientas de software que asistan al proceso de desarrollo basado en refinamiento de modelos.