{"id":"https://openalex.org/W2107595853","doi":null,"title":"A Linear Logic approach to RESTful web service modelling and composition","display_name":"A Linear Logic approach to RESTful web service modelling and composition","publication_year":2013,"publication_date":"2013-03-01","ids":{"openalex":"https://openalex.org/W2107595853","mag":"2107595853"},"language":"en","primary_location":{"id":"pmh:oai:uobrep.openrepository.com:10547/301103","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10547/301103","pdf_url":"http://hdl.handle.net/10547/301103","source":{"id":"https://openalex.org/S4306400178","display_name":"University of Bedfordshire Repository (University of Bedfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I147554453","host_organization_name":"University of Bedfordshire","host_organization_lineage":["https://openalex.org/I147554453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis or dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10547/301103","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072444630","display_name":"Xia Zhao","orcid":"https://orcid.org/0000-0001-6479-9200","observed_orcids":["https://orcid.org/0000-0001-6479-9200"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xia Zhao","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6479-9200","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5072444630"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9976000189781189,"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.9976000189781189,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/rest-api","display_name":"REST API","score":0.9900000095367432},{"id":"https://openalex.org/keywords/service-composition","display_name":"service composition","score":0.7739999890327454},{"id":"https://openalex.org/keywords/linear-logic","display_name":"linear logic","score":0.9279999732971191},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"\u03c0-calculus","score":0.8870000243186951},{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.7289999723434448},{"id":"https://openalex.org/keywords/transition-systems","display_name":"transition systems","score":0.7979999780654907},{"id":"https://openalex.org/keywords/service-modeling","display_name":"service modeling","score":0.7129999995231628},{"id":"https://openalex.org/keywords/coq-proof-assistant","display_name":"Coq","score":0.8550000190734863},{"id":"https://openalex.org/keywords/service-reusability","display_name":"service reusability","score":0.6299999952316284}],"concepts":[{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6493449807167053},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5599669218063354},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.5399956107139587},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.5227770209312439},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5057268142700195},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0897473394870758},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:uobrep.openrepository.com:10547/301103","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10547/301103","pdf_url":"http://hdl.handle.net/10547/301103","source":{"id":"https://openalex.org/S4306400178","display_name":"University of Bedfordshire Repository (University of Bedfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I147554453","host_organization_name":"University of Bedfordshire","host_organization_lineage":["https://openalex.org/I147554453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis or dissertation"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.974.5722","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.974.5722","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://uobrep.openrepository.com/uobrep/bitstream/10547/301103/1/XZhao%20PhD%20thesis.pdf","raw_type":"text"},{"id":"mag:2107595853","doi":null,"is_oa":false,"landing_page_url":"http://uobrep.openrepository.com/uobrep/bitstream/10547/301103/1/XZhao%20PhD%20thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:uobrep.openrepository.com:10547/301103","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10547/301103","pdf_url":"http://hdl.handle.net/10547/301103","source":{"id":"https://openalex.org/S4306400178","display_name":"University of Bedfordshire Repository (University of Bedfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I147554453","host_organization_name":"University of Bedfordshire","host_organization_lineage":["https://openalex.org/I147554453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis or dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2107595853.pdf","grobid_xml":"https://content.openalex.org/works/W2107595853.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W7175771","https://openalex.org/W15036057","https://openalex.org/W74905965","https://openalex.org/W104259073","https://openalex.org/W118268901","https://openalex.org/W147093031","https://openalex.org/W159920301","https://openalex.org/W632543828","https://openalex.org/W759827355","https://openalex.org/W935261455","https://openalex.org/W1485028600","https://openalex.org/W1488887129","https://openalex.org/W1489021242","https://openalex.org/W1492862327","https://openalex.org/W1504546745","https://openalex.org/W1577231857","https://openalex.org/W1577629884","https://openalex.org/W1585912603","https://openalex.org/W1586167239","https://openalex.org/W1587045276","https://openalex.org/W1589420625","https://openalex.org/W1596002226","https://openalex.org/W1606971543","https://openalex.org/W1659289657","https://openalex.org/W1672621201","https://openalex.org/W1825564995","https://openalex.org/W1971727279","https://openalex.org/W1976384820","https://openalex.org/W1981680613","https://openalex.org/W1989685860","https://openalex.org/W2001384391","https://openalex.org/W2002378456","https://openalex.org/W2004063149","https://openalex.org/W2009028038","https://openalex.org/W2009376878","https://openalex.org/W2010649834","https://openalex.org/W2019927320","https://openalex.org/W2029660460","https://openalex.org/W2037237472","https://openalex.org/W2044757759","https://openalex.org/W2052570768","https://openalex.org/W2059584710","https://openalex.org/W2059661024","https://openalex.org/W2060703011","https://openalex.org/W2063531202","https://openalex.org/W2066944269","https://openalex.org/W2106353452","https://openalex.org/W2107413934","https://openalex.org/W2113352466","https://openalex.org/W2117709199","https://openalex.org/W2118373120","https://openalex.org/W2119830207","https://openalex.org/W2119896671","https://openalex.org/W2121267713","https://openalex.org/W2123725070","https://openalex.org/W2130779417","https://openalex.org/W2134588905","https://openalex.org/W2136277350","https://openalex.org/W2143849578","https://openalex.org/W2145814916","https://openalex.org/W2147046421","https://openalex.org/W2151355086","https://openalex.org/W2152348192","https://openalex.org/W2163201741","https://openalex.org/W2164226682","https://openalex.org/W2167419445","https://openalex.org/W2221246770","https://openalex.org/W2911865844","https://openalex.org/W4323966281"],"related_works":["https://openalex.org/W2295276511","https://openalex.org/W2052570768","https://openalex.org/W2002378456","https://openalex.org/W1598232138","https://openalex.org/W2060703011","https://openalex.org/W2001440509","https://openalex.org/W2117033209","https://openalex.org/W7029231841","https://openalex.org/W1971727279","https://openalex.org/W2380739260"],"abstract_inverted_index":{"RESTful":[0,51,60,92,120,167],"Web":[1,13,26,52,61,93,121,168],"Services":[2,94,169],"are":[3,78],"gaining":[4],"increasing":[5],"attention":[6],"from":[7,39],"both":[8,113,239],"the":[9,12,25,40,72,107,114,117,125,154,164,178,197,202,214,223,226,233,240,246,270,280],"service":[10,143,266],"and":[11,21,48,81,99,116,137,150,184,190,199,229,245,254,264,284],"communities.The":[14],"rising":[15],"number":[16,74],"of":[17,75,109,119,127,163,166,201,277,282],"services":[18,76,85,205,283],"being":[19],"implemented":[20],"made":[22],"available":[23,80],"on":[24,153,160],"is":[27],"creating":[28],"a":[29,101,139,274],"demand":[30],"for":[31,86,112,131],"modelling":[32,115,132,183,228],"techniques":[33],"that":[34,77,269],"can":[35,54,66],"abstract":[36,181],"REST":[37,135],"design":[38],"implementation":[41],"in":[42,187,258],"order":[43],"better":[44],"to":[45,142,216,249],"specify,":[46],"analyse":[47],"implement":[49],"large-scale":[50],"systems.It":[53],"also":[55,207],"help":[56],"by":[57,69,82],"providing":[58,213],"suitable":[59],"Service":[62],"composition":[63,118,144,165,230],"methods":[64],"which":[65,237],"reduce":[67],"costs":[68],"efficiently":[70],"re-using":[71],"large":[73],"already":[79],"exploiting":[83],"existing":[84],"complex":[87],"business":[88,221],"purposes.This":[89],"research":[90,224],"considers":[91],"as":[95],"state":[96],"transition":[97],"systems":[98],"proposes":[100,138],"novel":[102],"Linear":[103,129,146,241],"Logic":[104,130,147,242],"based":[105,152],"approach,":[106],"first":[108],"its":[110],"kind,":[111],"Services.The":[122],"thesis":[123],"demonstrates":[124],"capabilities":[126],"resource-sensitive":[128],"five":[133],"key":[134],"constraints":[136],"two-stage":[140],"approach":[141,193],"involving":[145],"theorem":[148,243],"proving":[149,244],"proof-as-process":[151],"\u03c0-calculus.Whereas":[155],"previous":[156],"approaches":[157],"have":[158],"focused":[159],"each":[161],"aspect":[162],"individually":[170],"(e.g.execution":[171],"or":[172],"high-level":[173],"modelling),":[174],"this":[175],"work":[176],"bridges":[177],"gap":[179],"between":[180],"formal":[182],"application-level":[185],"execution":[186],"an":[188],"efficient":[189],"effective":[191],"way.The":[192],"not":[194],"only":[195],"ensures":[196],"completeness":[198],"correctness":[200],"resulting":[203],"composed":[204],"but":[206],"produces":[208],"their":[209],"process":[210],"models":[211],"naturally,":[212],"possibility":[215],"translate":[217],"them":[218],"into":[219,232],"executable":[220],"languages.Furthermore,":[222],"encodes":[225],"proposed":[227,271],"method":[231,272],"Coq":[234],"proof":[235],"assistant,":[236],"enables":[238],"\u03c0-calculus":[247],"extraction":[248],"be":[250],"conducted":[251],"semi-automatically.The":[252],"feasibility":[253],"versatility":[255],"studies":[256],"performed":[257],"two":[259],"disparate":[260],"user":[261],"scenarios":[262],"(shopping":[263],"biomedical":[265],"composition)":[267],"show":[268],"provides":[273],"good":[275],"level":[276],"scalability":[278],"when":[279],"numbers":[281],"resources":[285],"grow.":[286]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}