Interfaz web para MAUDE

Abstract

Este proyecto desarrolla una aplicación web con el objetivo de simplificar el uso de la biblioteca Maude, una herramienta poderosa pero compleja que se ejecuta exclusivamente en sistemas basados en Linux. Mediante el uso del framework Django y una biblioteca de bindings de Maude en Python, se ha creado una interfaz accesible para interactuar con esta tecnología, facilitando su uso en un entorno educativo. La aplicación permite analizar y adaptar los comandos de Maude para que puedan ser utilizados de forma intuitiva, apoyando la docencia del lenguaje. El sistema utiliza SQLite3 como base de datos para almacenar la información y se despliega en la plataforma PythonAnywhere, aprovechando su facilidad de configuración para ofrecer una solución práctica y eficiente. Este enfoque mejora la usabilidad para los usuarios, además de mejorar la accesibilidad y utilidad de Maude en el ámbito educativo.

This project develops a web application aimed at simplifying the use of the Maude library, a powerful but complex tool that runs exclusively on Linux-based systems. By utilizing the Django framework and a Maude bindings library in Python, an accessible interface has been created to interact with this technology, facilitating its use in an educational environment. The application allows for parsing and adapting Maude commands to be used intuitively, supporting the teaching of the language. The system uses SQLite3 as a database to store information and is deployed on the PythonAnywhere platform, taking advantage of its ease of configuration to offer a practical and efficient solution. This approach enhances usability for users, as well as improving the accessibility and usefulness of Maude in the educational field.