{"id":"https://openalex.org/W2274024995","doi":"https://doi.org/10.1017/s1471068416000016","title":"The pragmatic proof: Hypermedia API composition and execution","display_name":"The pragmatic proof: Hypermedia API composition and execution","publication_year":2016,"publication_date":"2016-03-07","ids":{"openalex":"https://openalex.org/W2274024995","doi":"https://doi.org/10.1017/s1471068416000016","mag":"2274024995"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068416000016","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068416000016","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/2FC57145E86E9A102E075092E3703EEE/S1471068416000016a.pdf/div-class-title-the-pragmatic-proof-hypermedia-api-composition-and-execution-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/2FC57145E86E9A102E075092E3703EEE/S1471068416000016a.pdf/div-class-title-the-pragmatic-proof-hypermedia-api-composition-and-execution-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"RUBEN VERBORGH","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I39327780","display_name":"iMinds","ror":"https://ror.org/03baec336","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I39327780"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"RUBEN VERBORGH","raw_affiliation_strings":["Ghent University -iMinds -Multimedia Lab Sint-Pietersnieuwstraat 41, 9000 Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ghent University -iMinds -Multimedia Lab Sint-Pietersnieuwstraat 41, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I32597200","https://openalex.org/I39327780"]}]},{"author_position":"middle","author":{"id":null,"display_name":"D\u00d6RTHE ARNDT","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I39327780","display_name":"iMinds","ror":"https://ror.org/03baec336","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I39327780"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"D\u00d6RTHE ARNDT","raw_affiliation_strings":["Ghent University -iMinds -Multimedia Lab Sint-Pietersnieuwstraat 41, 9000 Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ghent University -iMinds -Multimedia Lab Sint-Pietersnieuwstraat 41, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I32597200","https://openalex.org/I39327780"]}]},{"author_position":"middle","author":{"id":null,"display_name":"SOFIE VAN HOECKE","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I39327780","display_name":"iMinds","ror":"https://ror.org/03baec336","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I39327780"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"SOFIE VAN HOECKE","raw_affiliation_strings":["Ghent University -iMinds -Multimedia Lab Sint-Pietersnieuwstraat 41, 9000 Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ghent University -iMinds -Multimedia Lab Sint-Pietersnieuwstraat 41, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I32597200","https://openalex.org/I39327780"]}]},{"author_position":"middle","author":{"id":null,"display_name":"JOS DE ROO","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160364","display_name":"Agfa HealthCare","ror":"https://ror.org/05raay295","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I4210160364"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"JOS DE ROO","raw_affiliation_strings":["Agfa Healthcare Moutstraat 100, 9000 Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Agfa Healthcare Moutstraat 100, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I4210160364"]}]},{"author_position":"middle","author":{"id":null,"display_name":"GIOVANNI MELS","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160364","display_name":"Agfa HealthCare","ror":"https://ror.org/05raay295","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I4210160364"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"GIOVANNI MELS","raw_affiliation_strings":["Agfa Healthcare Moutstraat 100, 9000 Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Agfa Healthcare Moutstraat 100, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I4210160364"]}]},{"author_position":"middle","author":{"id":null,"display_name":"THOMAS STEINER","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"THOMAS STEINER","raw_affiliation_strings":["Universitat Politcnica de Catalunya Department LSI 08034 Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Politcnica de Catalunya Department LSI 08034 Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":null,"display_name":"JOAQUIM GABARRO","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"JOAQUIM GABARRO","raw_affiliation_strings":["Universitat Politcnica de Catalunya Department LSI 08034 Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Politcnica de Catalunya Department LSI 08034 Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.4532,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.95696459,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"17","issue":"1","first_page":"1","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.5748000144958496,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.5748000144958496,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.16009999811649323,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.03590000048279762,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hyperlink","display_name":"Hyperlink","score":0.7921000123023987},{"id":"https://openalex.org/keywords/hypermedia","display_name":"Hypermedia","score":0.7534999847412109},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4603999853134155},{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.454800009727478},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.3968999981880188},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.36899998784065247},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.3617999851703644}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9230999946594238},{"id":"https://openalex.org/C30088001","wikidata":"https://www.wikidata.org/wiki/Q102014","display_name":"Hyperlink","level":3,"score":0.7921000123023987},{"id":"https://openalex.org/C2780126544","wikidata":"https://www.wikidata.org/wiki/Q837900","display_name":"Hypermedia","level":2,"score":0.7534999847412109},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.4819999933242798},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4603999853134155},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.454800009727478},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.3968999981880188},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.36899998784065247},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.3617999851703644},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36039999127388},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.3456999957561493},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C127613066","wikidata":"https://www.wikidata.org/wiki/Q557770","display_name":"Web API","level":4,"score":0.29499998688697815},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C61096286","wikidata":"https://www.wikidata.org/wiki/Q7978592","display_name":"Web navigation","level":3,"score":0.2678999900817871},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.267300009727478},{"id":"https://openalex.org/C13743948","wikidata":"https://www.wikidata.org/wiki/Q45842","display_name":"Web crawler","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.25}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068416000016","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068416000016","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/2FC57145E86E9A102E075092E3703EEE/S1471068416000016a.pdf/div-class-title-the-pragmatic-proof-hypermedia-api-composition-and-execution-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1512.07780","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1512.07780","pdf_url":"https://arxiv.org/pdf/1512.07780","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:upcommons.upc.edu:2117/108281","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/108281","pdf_url":"https://upcommons.upc.edu/bitstreams/e49f913b-848e-4873-b5c0-8fcf0137d067/download","source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:archive.ugent.be:8504351","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-8504351","pdf_url":"https://biblio.ugent.be/publication/8504351/file/8515469.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1471-0684","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1017/s1471068416000016","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068416000016","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/2FC57145E86E9A102E075092E3703EEE/S1471068416000016a.pdf/div-class-title-the-pragmatic-proof-hypermedia-api-composition-and-execution-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320322603","display_name":"Universiteit Gent","ror":"https://ror.org/00cv9y106"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2274024995.pdf","grobid_xml":"https://content.openalex.org/works/W2274024995.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W102708294","https://openalex.org/W181608060","https://openalex.org/W314006331","https://openalex.org/W1482861318","https://openalex.org/W1575424276","https://openalex.org/W1587045276","https://openalex.org/W1970956440","https://openalex.org/W1982789102","https://openalex.org/W1985819576","https://openalex.org/W1999608685","https://openalex.org/W2001291669","https://openalex.org/W2012436850","https://openalex.org/W2019755661","https://openalex.org/W2040566369","https://openalex.org/W2049443008","https://openalex.org/W2056881559","https://openalex.org/W2059936335","https://openalex.org/W2084130127","https://openalex.org/W2095612098","https://openalex.org/W2103103259","https://openalex.org/W2104432663","https://openalex.org/W2104791972","https://openalex.org/W2106353452","https://openalex.org/W2113807516","https://openalex.org/W2134411611","https://openalex.org/W2152161496","https://openalex.org/W2164355873","https://openalex.org/W2182775229","https://openalex.org/W4239696231","https://openalex.org/W4239852057","https://openalex.org/W4241509948","https://openalex.org/W6721005459","https://openalex.org/W6906355099","https://openalex.org/W7005146817","https://openalex.org/W7053032915"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Machine":[1],"clients":[2],"are":[3,56],"increasingly":[4],"making":[5],"use":[6,84],"of":[7,25,98,115,122,131,137,211],"the":[8,42,113,123,129,135,160,165,171,206],"Web":[9,14,107,219],"to":[10,38,59,65,80,162,164,177,186,205],"perform":[11],"tasks.":[12],"While":[13],"services":[15],"traditionally":[16],"mimic":[17],"remote":[18],"procedure":[19],"calling":[20],"interfaces,":[21],"a":[22,35,52,73,87,116,146,149,183,198,215],"new":[23],"generation":[24,114],"so-called":[26],"hypermedia":[27,61,99,212],"APIs":[28,100,213],"works":[29],"through":[30,112],"hyperlinks":[31,82],"and":[32,83,139,148,189],"forms,":[33],"in":[34,91],"way":[36],"similar":[37],"how":[39,96,176],"people":[40],"browse":[41],"Web.":[43],"This":[44,109],"means":[45],"that":[46,77,208],"existing":[47],"composition":[48,195],"techniques,":[49],"which":[50,63],"determine":[51],"procedural":[53],"plan":[54,76],"upfront,":[55],"not":[57],"sufficient":[58],"consume":[60],"APIs,":[62],"need":[64,72],"be":[66,102],"navigated":[67],"at":[68,218],"runtime.":[69],"Clients":[70],"instead":[71],"more":[74],"dynamic":[75],"allows":[78],"them":[79],"follow":[81],"forms":[85],"with":[86],"preset":[88],"goal.":[89],"Therefore,":[90],"this":[92],"paper,":[93],"we":[94,133],"show":[95],"compositions":[97,179],"can":[101],"created":[103],"by":[104,153,157,170],"generic":[105],"Semantic":[106],"reasoners.":[108],"is":[110,151,214],"achieved":[111],"proof":[117],"based":[118],"on":[119,193],"semantic":[120],"descriptions":[121],"APIs'":[124],"functionality.":[125],"To":[126],"pragmatically":[127],"verify":[128,190],"applicability":[130],"compositions,":[132],"introduce":[134],"notion":[136],"pre-execution":[138],"post-execution":[140],"proofs.":[141],"The":[142,201],"runtime":[143],"interaction":[144],"between":[145],"client":[147,161],"server":[150],"guided":[152],"proofs":[154],"but":[155],"driven":[156],"hypermedia,":[158],"allowing":[159],"react":[163],"application's":[166],"actual":[167],"state":[168],"indicated":[169],"server's":[172],"response.":[173],"We":[174],"describe":[175],"generate":[178,187],"from":[180],"descriptions,":[181,188],"discuss":[182],"computer-assisted":[184],"process":[185],"reasoner":[191],"performance":[192],"various":[194],"tasks":[196],"using":[197],"benchmark":[199],"suite.":[200],"experimental":[202],"results":[203],"lead":[204],"conclusion":[207],"proof-based":[209],"consumption":[210],"feasible":[216],"strategy":[217],"scale.":[220]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2016-06-24T00:00:00"}