HOTL: Hypothesis and observations testing logic

Abstract

El proyecto realizado consiste en la implementación de una herramienta capaz de simular el comportamiento descrito en una lógica desarrollada (HOTL: Hypotheses and observations testing logic), en un excelente trabajo de investigación, por parte de nuestro profesor director de proyecto D. Ismael Rodríguez Laguna y sus dos compañeros D. Manuel Núñez y Dña. Mercedes G. Merayo. La implementación ha sido integrada en una interfaz gráfica que nos permitirá ejecutar una seria de reglas definidas en la lógica dado un modelo, y dadas una especificación concreta, unas observaciones y unas hipótesis y la aplicación de las reglas sobre estos elementos, nos diga si la implementación es conforme o no respecto de la especificación. Todo esto mostrándose de manera gráfica para que el usuario sea consciente de lo ocurrido en cada momento, como por ejemplo; la carga de la especificación, de las observaciones e hipótesis, los modelos generados a partir de las observaciones, la generación de modelos que implica la ejecución de las reglas una a una, etc. La herramienta ha sido implementada sobre una plataforma Java y su diseño se ha realizado llevando a cabo técnicas y métodos empleados en ingeniería del software, tales como un arquitectura clara de la aplicación (que facilitará la ampliación futura de la herramienta), uso de patrones de diseño, división del trabajo en iteraciones, etc., además del uso de conocimientos de metodología y tecnología de la programación para el desarrollo de ciertos algoritmos necesarios para la implementación de la lógica.[ABSTRACT]The made project consists of the implementation of a tool able to simulate the behavior described in a developed logic (HOTL: Hypotheses and observations testing logic), in an excellent work of investigation, on the part of our professor director of project D. Ismael Rodriguez Laguna and their two companions D. Manuel Núñez and Dña. Mercedes G. Merayo.[ABSTRACT] The implementation has been integrated in a graphical interface that will allow us to execute serious of rules defined in the given logic a model, and given a concrete specification, observations and a hypothesis and the application of the rules on these elements, says to us if the implementation is in agreement or nonrespect to the specification. All this being of graphical way so that the user is conscious of the happened thing at every moment, like for example; the load of the specification, the observations and hypothesis, the models generated from the observations, the generation of models that the execution of rules one to one implies, etc. The tool has been implemented on a Java platform and its technical design has been made carrying out and used methods in engineering of the software, such as a clear architecture of the application (that it will facilitate the future extension of the tool), use of design patterns, division of the work in iterations, etc., in addition to the use of knowledge of methodology and technology of the programming for the development of certain necessary algorithms for the implementation of the logic.