Biblioteca de la Universidad Complutense de Madrid

MOVA Tool

Impacto



Prieto Ruiz, Rocío y Rodríguez Alonso, Belén y Suárez Bravo, Álvaro (2007) MOVA Tool. [Trabajo de curso] (No publicado)

[img] PDF
8MB


Resumen

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.


Tipo de documento:Trabajo de curso
Información Adicional:

Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)

Palabras clave:MOVA Tool, UML, ITP/OCL Tool
Materias:Ciencias > Informática > Sistemas expertos
Código ID:9063
Depositado:05 Jun 2009 07:07
Última Modificación:05 Jun 2009 07:07

Sólo personal del repositorio: página de control del artículo