Publication:
MOVA Tool

Loading...
Thumbnail Image
Official URL
Full text at PDC
Publication Date
2007
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
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)
Unesco subjects
Keywords
Citation