Complutense University Library

Interfaz gráfica para Mobile-Maude

González Palomar, Irene and González Rodríguez, Diego and Plaza Fernández, Luis Julián (2007) Interfaz gráfica para Mobile-Maude. [Coursework] (Unpublished)

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

==>>> Export to other formats

Abstract

La finalidad de este proyecto es desarrollar un conjunto de aplicaciones para
poder observar gráficamente el flujo de ejecución de aplicaciones Mobile Maude,
pudiendo ver los objetos, los estados por los que van pasando dichos objetos en los
distintos terminales de ejecución, las reglas que se aplican y los mensajes que se envían.
Este proyecto servirá para tres tipos de uso:
 Una versión distribuida que consiste en ejecutar varias veces la aplicación y
en cada una de ellas se cargará el programa a ejecutar y una instancia de
éste. Estas instancias interaccionarán entre sí provocando que los objetos
móviles viajen y, creando los estados y mensajes que mostraremos en la
aplicación correspondiente junto con los objetos.
 Otra versión centralizada que permitirá realizar exactamente lo mismo que
en la distribuida pero sólo ejecutando una vez la aplicación y cargando el
programa a ejecutar. En la misma interfaz se mostrarán las distintas
instancias y los distintos estados, objetos y mensajes que se crean en cada
instancia al viajar los objetos móviles.
 Y una última versión que chequea modelos e indica si es cierto o falso. En
el caso de que sea falso mostrará un contraejemplo.
[ABSTRACT]
The purpose of this project is to develop a set of applications to be able to
observe graphically the flow of execution of Mobile-Maude applications, being able to
see the objects, the states through which they are passing in the different terminals of
execution, the rules that are being applied and the messages that are sent.
This project will be used for three types of versions:
 A distributed version that consists of executing several times the
application and each one of them will load the program to execute and an
instance of this one. These instances will interact to each other causing
that the mobile objects travel and creating the states and messages that
we will along with show in the corresponding application the objects.
 Another centralized version that will allow making exactly just like in the
distributed one but only executing the application once and loading the
program to execute. In the same interface we will see the different
instances and the different states, objects and messages that are created in
each instance when traveling the mobile objects.
 And a last version that checks models and indicates if it is certain or
false. In case it is false shows a counterexample.


Item Type:Coursework
Additional Information:

Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)

Uncontrolled Keywords:Maude, Mobile Maude, Model Checker, Traza de Maude, Interfaz Gráfica, Objetos Móviles, Java, Linux y MAC
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:9005
Deposited On:28 May 2009 07:51
Last Modified:28 May 2009 07:51

Repository Staff Only: item control page