RT Generic
T1 Interfaz gráfica para Mobile-Maude
A1 González Palomar, Irene
A1 González Rodríguez, Diego
A1 Plaza Fernández, Luis Julián
AB La finalidad de este proyecto es desarrollar un conjunto de aplicaciones parapoder 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 losdistintos 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 yen cada una de ellas se cargará el programa a ejecutar y una instancia deéste. Estas instancias interaccionarán entre sí provocando que los objetosmóviles viajen y, creando los estados y mensajes que mostraremos en laaplicación correspondiente junto con los objetos. Otra versión centralizada que permitirá realizar exactamente lo mismo queen la distribuida pero sólo ejecutando una vez la aplicación y cargando elprograma a ejecutar. En la misma interfaz se mostrarán las distintasinstancias y los distintos estados, objetos y mensajes que se crean en cadainstancia al viajar los objetos móviles. Y una última versión que chequea modelos e indica si es cierto o falso. Enel caso de que sea falso mostrará un contraejemplo.[ABSTRACT]The purpose of this project is to develop a set of applications to be able toobserve graphically the flow of execution of Mobile-Maude applications, being able tosee the objects, the states through which they are passing in the different terminals ofexecution, 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 theapplication and each one of them will load the program to execute and aninstance of this one. These instances will interact to each other causingthat the mobile objects travel and creating the states and messages thatwe will along with show in the corresponding application the objects. Another centralized version that will allow making exactly just like in thedistributed one but only executing the application once and loading theprogram to execute. In the same interface we will see the differentinstances and the different states, objects and messages that are created ineach instance when traveling the mobile objects. And a last version that checks models and indicates if it is certain orfalse. In case it is false shows a counterexample.
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/54274
UL https://hdl.handle.net/20.500.14352/54274
LA spa
NO Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)
DS Docta Complutense
RD 7 may 2024