Matches in Ruben’s data for { <https://dx.doi.org/10.1017/S1471068416000016> ?p ?o }
- S1471068416000016 author me.
- S1471068416000016 author sofie_van_hoecke.
- S1471068416000016 author joaquim_gabarro_valles.
- S1471068416000016 author giovanni_mels.
- S1471068416000016 author dorthe_arndt.
- S1471068416000016 author me.
- S1471068416000016 author me.
- S1471068416000016 creator me.
- S1471068416000016 creator sofie_van_hoecke.
- S1471068416000016 creator joaquim_gabarro_valles.
- S1471068416000016 creator giovanni_mels.
- S1471068416000016 creator dorthe_arndt.
- S1471068416000016 creator me.
- S1471068416000016 creator me.
- S1471068416000016 about Web_services.
- S1471068416000016 about Web_service.
- S1471068416000016 about proof.
- S1471068416000016 about Hypermedia.
- S1471068416000016 about Semantic_Web.
- S1471068416000016 about World_Wide_Web.
- S1471068416000016 author me.
- S1471068416000016 author sofie_van_hoecke.
- S1471068416000016 author joaquim_gabarro_valles.
- S1471068416000016 author giovanni_mels.
- S1471068416000016 author dorthe_arndt.
- S1471068416000016 author me.
- S1471068416000016 author me.
- S1471068416000016 coparticipatesWith me.
- S1471068416000016 coparticipatesWith sofie_van_hoecke.
- S1471068416000016 coparticipatesWith joaquim_gabarro_valles.
- S1471068416000016 coparticipatesWith giovanni_mels.
- S1471068416000016 coparticipatesWith dorthe_arndt.
- S1471068416000016 coparticipatesWith me.
- S1471068416000016 coparticipatesWith me.
- S1471068416000016 type PublicationIssue.
- S1471068416000016 type Issue.
- S1471068416000016 type CollectedDocument.
- S1471068416000016 type PublicationVolume.
- S1471068416000016 type ScholarlyArticle.
- S1471068416000016 type Article.
- S1471068416000016 type Document.
- S1471068416000016 type Document.
- S1471068416000016 type Document.
- S1471068416000016 type Q386724.
- S1471068416000016 type CreativeWork.
- S1471068416000016 type Work.
- S1471068416000016 P50 me.
- S1471068416000016 P50 sofie_van_hoecke.
- S1471068416000016 P50 joaquim_gabarro_valles.
- S1471068416000016 P50 giovanni_mels.
- S1471068416000016 P50 dorthe_arndt.
- S1471068416000016 P50 me.
- S1471068416000016 P50 me.
- S1471068416000016 maker me.
- S1471068416000016 maker sofie_van_hoecke.
- S1471068416000016 maker joaquim_gabarro_valles.
- S1471068416000016 maker giovanni_mels.
- S1471068416000016 maker dorthe_arndt.
- S1471068416000016 maker me.
- S1471068416000016 maker me.
- S1471068416000016 title "The pragmatic proof: Hypermedia API composition and execution".
- S1471068416000016 title "The Pragmatic Proof: Hypermedia API Composition and Execution".
- S1471068416000016 isPartOf theory_and_practice_of_logic_programming.
- S1471068416000016 name "The pragmatic proof: Hypermedia API composition and execution".
- S1471068416000016 name "The Pragmatic Proof: Hypermedia API Composition and Execution".
- S1471068416000016 label "The pragmatic proof: Hypermedia API composition and execution".
- S1471068416000016 label "The Pragmatic Proof: Hypermedia API Composition and Execution".
- S1471068416000016 name "The pragmatic proof: Hypermedia API composition and execution".
- S1471068416000016 name "The Pragmatic Proof: Hypermedia API Composition and Execution".
- S1471068416000016 topic Web_services.
- S1471068416000016 topic Web_service.
- S1471068416000016 topic proof.
- S1471068416000016 topic Hypermedia.
- S1471068416000016 topic Semantic_Web.
- S1471068416000016 topic World_Wide_Web.
- S1471068416000016 subject Web_services.
- S1471068416000016 subject Web_service.
- S1471068416000016 subject proof.
- S1471068416000016 subject Hypermedia.
- S1471068416000016 subject Semantic_Web.
- S1471068416000016 subject World_Wide_Web.
- S1471068416000016 authorList b0_b2358.
- S1471068416000016 isCitedBy the-semantic-web-identity-crisis.
- S1471068416000016 topic Web_services.
- S1471068416000016 topic Web_service.
- S1471068416000016 topic proof.
- S1471068416000016 topic Hypermedia.
- S1471068416000016 topic Semantic_Web.
- S1471068416000016 topic World_Wide_Web.
- S1471068416000016 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.".
- S1471068416000016 datePublished "2017".
- S1471068416000016 mainEntityOfPage verborgh_tplp_2017.
- S1471068416000016 sameAs S1471068416000016.
- S1471068416000016 isPrimaryTopicOf verborgh_tplp_2017.
- S1471068416000016 page verborgh_tplp_2017.
- S1471068416000016 number "48".
- S1471068416000016 number "17".
- S1471068416000016 number "1".
- S1471068416000016 volume "17".
- S1471068416000016 locator "48".