%0 Generic
%A Prieto Ruiz, Rocío
%A Rodríguez Alonso, Belén
%A Suárez Bravo, Álvaro
%T MOVA Tool
%J Trabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI)
%D 2007
%U https://hdl.handle.net/20.500.14352/54323
%X El presente documento presenta la herramienta MOVA Tool, que es unaherramienta para modelar y validar diagramas UML. El primer objetivo de la herramienta MOVA Tool fue diseñar diagramas declases y objetos, incorporando las restricciones OCL. Para ello, MOVA Toolincluye la herramienta ITP/OCL Tool. Ésta sebasa directamente en especificaciones ecuacionales de los diagramas UML+OCL.ITP/OCL Tool está escrito completamente en Maude, un lenguaje deprogramación basado en la reescritura de términos que implementa la lógicaecuacional de pertenencia y la lógica de reescritura. En el presente curso se handiseñado e implementado mejoras sobre la versión previa existente, permitiendouna mejor extensión de la herramienta en futuras ampliaciones. Se han aplicadolos patrones que se han creído convenientes para hacer más reutilizable el código.
%~