The pragmatic proof: hypermedia API composition and execution

DOI10.1017/S1471068416000016zbMATH Open1379.68018arXiv1512.07780OpenAlexW3106502556WikidataQ57339078 ScholiaQ57339078MaRDI QIDQ4593077FDOQ4593077

Authors: Ruben Verborgh, Dörthe Arndt, Sofie Van Hoecke, Jos de Roo, Giovanni Mels, Thomas Steiner, Joaquim Gabarró 

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: Machine clients are increasingly making use of the Web to perform tasks. While Web services traditionally mimic remote procedure calling interfaces, a new generation of so-called hypermedia APIs works through hyperlinks and forms, in a way similar to how people browse the Web. This means that existing composition techniques, which determine a procedural plan upfront, are not sufficient to consume hypermedia APIs, which need to be navigated at runtime. Clients instead need a more dynamic plan that allows them to follow hyperlinks and use forms with a preset goal. Therefore, in this article, we show how compositions of hypermedia APIs can be created by generic Semantic Web reasoners. This is achieved through the generation of a proof based on semantic descriptions of the APIs' functionality. To pragmatically verify the applicability of compositions, we introduce the notion of pre-execution and post-execution proofs. The runtime interaction between a client and a server is guided by proofs but driven by hypermedia, allowing the client to react to the application's actual state indicated by the server's response. We describe how to generate compositions from descriptions, discuss a computer-assisted process to generate descriptions, and verify reasoner performance on various composition tasks using a benchmark suite. The experimental results lead to the conclusion that proof-based consumption of hypermedia APIs is a feasible strategy at Web scale.

Full work available at URL: https://arxiv.org/abs/1512.07780

Recommendations

• Static Analysis
• Reasoning about interaction protocols for web service composition
• Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
• scientific article; zbMATH DE number 5284505
• Web services composition -- from ontology to plan by query

zbMATH Keywords

compositionreasoningsemantic webhypermedia APIsweb APIs

Mathematics Subject Classification ID

Internet topics (68M11)

Cites Work

• N3Logic: A logical framework for the World Wide Web
• Making prolog more expressive
• On rules with existential variables: walking the decidability line
• Logical foundations of object-oriented and frame-based languages
• A Deductive Approach to Program Synthesis
• Title not available (Why is that?)
• Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29--30, 2011. Proceedings
• Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised selected papers
• Web reasoning and rule systems. Second international conference, RR 2008, Karlsruhe, Germany, October 31--November 1, 2008. Proceedings
• Title not available (Why is that?)
• Query Rewriting and Optimization for Ontological Databases

Uses Software

• N3Logic
• Jena
• Data-Fu
• DBpedia
• Graal

This page was built for publication: The pragmatic proof: hypermedia API composition and execution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593077)