Objetivos
- Definir e implementar una estrategia eficiente y confiable para validar transformaciones de modelos UML.
- Generar micromundos que permitan determinar la veracidad y correctitud de los refinamientos.
- Automatización de la generación de micromundos.