E-Prints Complutense

Abstract

El presente documento presenta la herramienta MOVA Tool, que es una herramienta para modelar y validar diagramas UML. El primer objetivo de la herramienta MOVA Tool fue diseñar diagramas de clases y objetos, incorporando las restricciones OCL. Para ello, MOVA Tool incluye la herramienta ITP/OCL Tool. Ésta se basa directamente en especificaciones ecuacionales de los diagramas UML+OCL. ITP/OCL Tool está escrito completamente en Maude, un lenguaje de programación basado en la reescritura de términos que implementa la lógica ecuacional de pertenencia y la lógica de reescritura. En el presente curso se han diseñado e implementado mejoras sobre la versión previa existente, permitiendo una mejor extensión de la herramienta en futuras ampliaciones. Se han aplicado los patrones que se han creído convenientes para hacer más reutilizable el código.