Search

[Abstract]: The abstraction layer provided by APIs allows heterogeneous systems to communicate easily regardless of their underlying technology. Given its essentiality, organisations devote large amounts of effort to implementing, validating, and maintaining their APIs. API-driven methodologies emerge to improve API development processes. Among them, the design-first methodology prioritises agreeing on a detailed API specification before the implementation step begins. This, unlike a code-first methodology, allows the automation of several tasks that depend on the interface type specification. In this work, a design-first framework for the development of REST APIs in the Erlang programming language is presented. The implemented tools allow exposing runtime reconfigurable HTTP servers with automated request validation and routing based on OpenAPI 3.0 specifications. Furthermore, the framework includes a tool for the automatic testing of the implementation with respect to the specification using property-based testing techniques. As a method of evaluating the produced software, the work includes a comparative analysis against similar tools., [Resumo]: A capa de abstracción que proporcionan as APIs permite que sistemas heteroxéneos se comuniquen de forma sinxela con independencia da súa tecnoloxía subxacente. Dada a súa esencialidade, as organizacións dedican grandes cantidades de esforzo á implementación, validación e mantemento das súas APIs. Co obxectivo de mellorar os procesos de desenvolvemento das APIs, xorden as metodoloxías API-driven. De entre elas, a metodoloxía design-first prioriza acordar unha especificación da API detallada antes de comezar a fase de implementación. Isto, ao contrario que nunha metodoloxía code-first, permite a automatización de diversas tarefas que dependen da especificación de tipos da interface. Neste traballo, preséntase un framework design-first para o desenvolvemento de APIs REST na linguaxe de programación Erlang. As ferramentas implementadas permiten expoñer servidores HTTP reconfigurables en tempo de execución con validación e encamiñamento automático de peticións a partir de especificacións OpenAPI 3.0. Ademais, o framework inclúe unha ferramenta para a validación automática da implementación con respecto á especificación empregando técnicas de probas baseadas en propiedades. Como método de avaliación do software producido, o traballo inclúe unha análise comparativa con ferramentas similares.

[Resumen] En este proyecto se ha desarrollado la herramienta eclingo que calcula los modelos de un programa lógico con expresiones epistémicas. Estas expresiones suponen una ampliación del lenguaje declarativo Answer Set Programming (ASP), ampliamente usado en el área de Representación del Conocimiento en Inteligencia Artificial. En ASP, un problema de búsqueda se representa en términos de un programa lógico, y las soluciones al problema se obtienen a partir de los modelos (answer sets) del programa. Las expresiones epistémicas admitidas por eclingo permiten razonar sobre hechos que están presentes en todos los answer sets o en alguno de ellos, lo que permite razonamiento sobre incertidumbre y conocimiento parcial. La eficiencia de eclingo se ha evaluado a través de un estudio comparativo frente a otra herramienta de características similares, ofreciendo unos resultados muy positivos que la sitúan como una alternativa competitiva dentro del estado del arte., [Abstract] The developed tool, eclingo, computes the models of logic programs with epistemic expressions. These expressions represent an extension of the declarative language Answer Set Programming, widely used in the area of Knowledge Representation in Artificial Intelligence. In ASP, a search problem is represented in terms of a logic program, and solutions to the problem are obtained from the models (answer sets) of this program. The epistemic expressions accepted by eclingo allow reasoning about facts that are present in all answer sets or in some of them, which enables reasoning about uncertainty and partial knowledge. The efficiency of eclingo has been evaluated through a comparative study against another tool with similar characteristics, offering very positive results that place it as a competitive alternative within the state of the art.