Complutense University Library

MOVA Tool

Prieto Ruiz, Rocío and Rodríguez Alonso, Belén and Suárez Bravo, Álvaro (2007) MOVA Tool. [Coursework] (Unpublished)

[img] PDF
8MB
View download statistics for this eprint

==>>> Export to other formats

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.

Item Type:Coursework
Additional Information:Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)
Uncontrolled Keywords:MOVA Tool, UML, ITP/OCL Tool
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:9063
Deposited On:05 Jun 2009 07:07
Last Modified:05 Jun 2009 07:07

Repository Staff Only: item control page