wSafe: Entorno de compilación para SAFE en la red

Abstract

El proyecto desarrollado se trata de una aplicación web que controla principalmente el compilador safe, pudiendo interactuar con otras herramientas como Isabelle, Jasmin… La aplicación gestionará las correspondientes etapas del compilador safe o de las herramientas externas, ejecutando todas las fases, las fases deseadas o una demostración que ejecutará todas las fases con un fichero .safe establecido por defecto como entrada. Proporciona a los ficheros generados de estas etapas una “vista” que permite visualizarlos de una manera más amigable usando para ello las transformaciones xslt que se realizan sobre los ficheros xml. Permite también la descarga de estos ficheros en formato xml para la edición por parte de usuarios avanzados y posterior carga en el servidor para la ejecución de los ficheros modificados. [ABSTRACT] The developed Project is a web application that controls the safe compiler, with interaction with other tools like Isabelle, Jasmin… The application manages the several safe-compiler stages or external tools, executing all the Stages, the wanted stages or a demo that executes all the stages with a .safe file established by default like input. It provides the generated files from these stages with a view that allows visualizing them in a friendly interface through xslt transformations made in the xml files. As well, it allows to download the xml files for editing by advanced users and uploading for execution the modified files later.