RT Generic
T1 MOVA Tool
A1 Prieto Ruiz, Rocío
A1 Rodríguez Alonso, Belén
A1 Suárez Bravo, Álvaro
AB 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.
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/54323
UL https://hdl.handle.net/20.500.14352/54323
LA spa
NO Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)
DS Docta Complutense
RD 10 abr 2025