HOTL: Hypotheses and observations testing logic

El proyecto realizado consiste en la implementacion de una herramienta capaz de simular el comportamiento descrito en una logica desarrollada (HOTL: Hypotheses and observations testing logic), en un excelente trabajo de investigacion, por parte de nuestro profesor director de proyecto D. Ismael Rodriguez Laguna y sus dos companeros D. Manuel Nunez y Dna. Mercedes G. Merayo. La implementacion ha sido integrada en una interfaz grafica que nos permitira ejecutar una seria de reglas definidas en la logica dado un modelo, y dadas una especificacion concreta, unas observaciones y unas hipotesis y la aplicacion de las reglas sobre estos elementos, nos diga si la implementacion es conforme o no respecto de la especificacion. Todo esto mostrandose de manera grafica para que el usuario sea consciente de lo ocurrido en cada momento, como por ejemplo; la carga de la especificacion, de las observaciones e hipotesis, los modelos generados a partir de las observaciones, la generacion de modelos que implica la ejecucion de las reglas una a una, etc. La herramienta ha sido implementada sobre una plataforma Java y su diseno se ha realizado llevando a cabo tecnicas y metodos empleados en ingenieria del software, tales como un arquitectura clara de la aplicacion (que facilitara la ampliacion futura de la herramienta), uso de patrones de diseno, division del trabajo en iteraciones, etc., ademas del uso de conocimientos de metodologia y tecnologia de la programacion para el desarrollo de ciertos algoritmos necesarios para la implementacion de la logica.[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 Nunez and Dna. 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.