Publication: MOVA Tool (Visual ITP/OCL Tool)
Loading...
Official URL
Full text at PDC
Publication Date
2006
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
Abstract
El objetivo de este proyecto es implementar un entorno gráfico de desarrollo de
diagramas UML que permita la interactuación con el motor de validación ITP/OCL
Tool. Dicho sistema, denominado MOVA Tool (Modelling & Validation Tool) es
capaz de especificar, verificar y validar modelos UML+OCL aprovechando las
características de ITP/OCL Tool.
Existen dos partes diferenciadas en MOVA: edición de diagramas y
validación modelos. La edición de diagramas permite crear fácilmente diagramas de
clases y de objetos usando las opciones gráficas que brinda la herramienta. Los
diagramas de clases permiten crear clases, clases enumeradas, y distintos tipos de
relaciones entre ellas. Los diagramas de objetos permiten instanciar clases y crear
enlaces entre objetos creados.
La validación de modelos consiste en asociar invariantes escritos en OCL a
diagramas de clases y validarlos sobre diagramas de objetos relacionados
instanciados a partir de dicho diagrama de clases. La validación se realiza a través
del envío de comandos a ITP/OCL Tool a través del intérprete Maude. Se pueden
ejecutar consultas sobre diagramas de objetos.
MOVA es capaz de editar grupos de diagramas; guardar y cargar diagramas
en formato XMI, XML, EPS y en una base de datos; guardar y cargar invariantes en
formato texto; aplicar zoom a diagramas e imprimir diagramas. Está escrito
íntegramente en Java y puede ejecutarse en distintas plataformas.
[ABSTRACT]
The main aim of this project is implementing a graphical developing
environment for UML diagrams that allows user interacting with ITP/OCL Tool
validation engine. This system, called MOVA Tool (Modelling & Validation Tool)
is able to specify, verify and validate UML+OCL models taking advantage of
ITP/OCL Tool’s features.
There are two main parts in MOVA Tool: model’s edition and model’s
validation. Model’s edition allows user to create easily class diagrams and object
diagrams through tool’s graphical options. Class diagrams contain non enumerated
classes, enumerated classes and different kinds of associations between them. Object
diagrams allow instantiating classes and creating links between created objects.
Model’s validation consists on associating invariants written in OCL to class
diagrams and checking them over the object diagram obtained from former class
diagram. Validation is carried out sending commands to ITP/OCL Tool through
Maude interpreter. Queries can be executed over an object diagram.
MOVA can edit groups of diagrams; save and store diagrams in XMI, XML and
EPS formats and in a database; save and store invariants on text files; zooming
diagrams and printing diagrams. The code is written in Java and can be run on
several operating systems.
Description
Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2005-2006)