Publication: MOVA Tool
Loading...
Official URL
Full text at PDC
Publication Date
2007
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)