2026-06-01T02:02:32Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/543232023-08-24T09:22:37Zcom_20.500.14352_1col_20.500.14352_7
MOVA Tool
Prieto Ruiz, Rocío
Rodríguez Alonso, Belén
Suárez Bravo, Álvaro
García Clavel, Manuel
004.438OCL(043.3)
004.438UML(043.3)
MOVA Tool
UML
ITP/OCL Tool
Sistemas expertos
Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)
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.
Depto. de Sistemas Informáticos y Computación
Fac. de Informática
TRUE
unpub
2023-06-20T14:21:53Z
2023-06-20T14:21:53Z
2007
coursework
https://hdl.handle.net/20.500.14352/54323
XXXX-XXXX
spa
Trabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI)
open access
application/pdf