%0 Generic
%A Alcaraz Martín, Fernando
%A Arias Baña, Jorge
%A Gavela Coya, Juan Pablo
%T MOVA Tool (Visual ITP/OCL Tool)
%J Trabajos de curso (Departamento de Arquitectura de Computadores y Autómática, FDI)
%D 2006
%U https://hdl.handle.net/20.500.14352/54213
%X El objetivo de este proyecto es implementar un entorno gráfico de desarrollo dediagramas UML que permita la interactuación con el motor de validación ITP/OCLTool. Dicho sistema, denominado MOVA Tool (Modelling & Validation Tool) escapaz de especificar, verificar y validar modelos UML+OCL aprovechando lascaracterísticas de ITP/OCL Tool.Existen dos partes diferenciadas en MOVA: edición de diagramas yvalidación modelos. La edición de diagramas permite crear fácilmente diagramas declases y de objetos usando las opciones gráficas que brinda la herramienta. Losdiagramas de clases permiten crear clases, clases enumeradas, y distintos tipos derelaciones entre ellas. Los diagramas de objetos permiten instanciar clases y crearenlaces entre objetos creados.La validación de modelos consiste en asociar invariantes escritos en OCL adiagramas de clases y validarlos sobre diagramas de objetos relacionadosinstanciados a partir de dicho diagrama de clases. La validación se realiza a travésdel envío de comandos a ITP/OCL Tool a través del intérprete Maude. Se puedenejecutar consultas sobre diagramas de objetos.MOVA es capaz de editar grupos de diagramas; guardar y cargar diagramasen formato XMI, XML, EPS y en una base de datos; guardar y cargar invariantes enformato 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 developingenvironment for UML diagrams that allows user interacting with ITP/OCL Toolvalidation engine. This system, called MOVA Tool (Modelling & Validation Tool)is able to specify, verify and validate UML+OCL models taking advantage ofITP/OCL Tool’s features.There are two main parts in MOVA Tool: model’s edition and model’svalidation. Model’s edition allows user to create easily class diagrams and objectdiagrams through tool’s graphical options. Class diagrams contain non enumeratedclasses, enumerated classes and different kinds of associations between them. Objectdiagrams allow instantiating classes and creating links between created objects.Model’s validation consists on associating invariants written in OCL to classdiagrams and checking them over the object diagram obtained from former classdiagram. Validation is carried out sending commands to ITP/OCL Tool throughMaude interpreter. Queries can be executed over an object diagram.MOVA can edit groups of diagrams; save and store diagrams in XMI, XML andEPS formats and in a database; save and store invariants on text files; zoomingdiagrams and printing diagrams. The code is written in Java and can be run onseveral operating systems.
%~