{"id":"https://openalex.org/W2169702069","doi":"https://doi.org/10.1145/1376916.1376949","title":"Complexity and composition of synthesized web services","display_name":"Complexity and composition of synthesized web services","publication_year":2008,"publication_date":"2008-06-09","ids":{"openalex":"https://openalex.org/W2169702069","doi":"https://doi.org/10.1145/1376916.1376949","mag":"2169702069"},"language":"en","primary_location":{"id":"doi:10.1145/1376916.1376949","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1376916.1376949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://doi.acm.org/10.1145/1376916.1376949","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070565287","display_name":"Wenfei Fan","orcid":"https://orcid.org/0000-0001-5149-2656"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]},{"id":"https://openalex.org/I176714629","display_name":"Bell (Canada)","ror":"https://ror.org/00xdg8m59","country_code":"CA","type":"company","lineage":["https://openalex.org/I176714629"]}],"countries":["CA","GB"],"is_corresponding":true,"raw_author_name":"Wenfei Fan","raw_affiliation_strings":["University of Edinburgh & Bell Labs, Edinburgh, United Kngdm"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh & Bell Labs, Edinburgh, United Kngdm","institution_ids":["https://openalex.org/I176714629","https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087587379","display_name":"Floris Geerts","orcid":"https://orcid.org/0000-0002-8967-2473"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Floris Geerts","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kngdm"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kngdm","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089107114","display_name":"Wouter Gelade","orcid":null},"institutions":[{"id":"https://openalex.org/I4210127597","display_name":"Transnational University Limburg","ror":"https://ror.org/02xyaf767","country_code":"BE","type":"education","lineage":["https://openalex.org/I4210127597"]},{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Wouter Gelade","raw_affiliation_strings":["Hasselt University & Transnational University of Limburg, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University & Transnational University of Limburg, Hasselt, Belgium","institution_ids":["https://openalex.org/I4210127597","https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022264843","display_name":"Frank Neven","orcid":"https://orcid.org/0000-0002-7143-1903"},"institutions":[{"id":"https://openalex.org/I4210127597","display_name":"Transnational University Limburg","ror":"https://ror.org/02xyaf767","country_code":"BE","type":"education","lineage":["https://openalex.org/I4210127597"]},{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Frank Neven","raw_affiliation_strings":["Hasselt University & Transnational University of Limburg, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University & Transnational University of Limburg, Hasselt, Belgium","institution_ids":["https://openalex.org/I4210127597","https://openalex.org/I878454856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082399973","display_name":"Antonella Poggi","orcid":"https://orcid.org/0000-0002-4030-3458"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonella Poggi","raw_affiliation_strings":["Sapienza Universita di Roma, Rome, Italy"],"affiliations":[{"raw_affiliation_string":"Sapienza Universita di Roma, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5070565287"],"corresponding_institution_ids":["https://openalex.org/I176714629","https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":13.12,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.98480463,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"231","last_page":"240"},"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":1.0,"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":1.0,"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.993399977684021,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.7744784355163574},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.7309205532073975},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6882445812225342},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6420340538024902},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.49493855237960815},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4832797348499298},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.46401867270469666},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.4103803336620331},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.26201653480529785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15081989765167236},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.08146506547927856}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7744784355163574},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.7309205532073975},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6882445812225342},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6420340538024902},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.49493855237960815},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4832797348499298},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.46401867270469666},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.4103803336620331},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.26201653480529785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15081989765167236},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.08146506547927856},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/1376916.1376949","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1376916.1376949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.149.6784","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.6784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://alpha.uhasselt.be/~lucg6377/publications/pods08.pdf","raw_type":"text"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/8497","is_oa":true,"landing_page_url":"http://doi.acm.org/10.1145/1376916.1376949","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:iris.uniroma1.it:11573/326381","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?eid=2-s2.0-57349191107&partnerID=65&md5=496b62f12da9d358259dd9a8964daf91","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:publications/fb5946c6-1f8d-4f93-9a68-cb5e1f09ceb6","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11820/fb5946c6-1f8d-4f93-9a68-cb5e1f09ceb6","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:documentserver.uhasselt.be:1942/8497","is_oa":true,"landing_page_url":"http://doi.acm.org/10.1145/1376916.1376949","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7799999713897705,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W187851124","https://openalex.org/W206065626","https://openalex.org/W1558832481","https://openalex.org/W1584587517","https://openalex.org/W1684286378","https://openalex.org/W1852748590","https://openalex.org/W1975733288","https://openalex.org/W1976580206","https://openalex.org/W2001995757","https://openalex.org/W2011039300","https://openalex.org/W2017740323","https://openalex.org/W2028864278","https://openalex.org/W2028980140","https://openalex.org/W2029591641","https://openalex.org/W2042077278","https://openalex.org/W2047475087","https://openalex.org/W2053490354","https://openalex.org/W2062550757","https://openalex.org/W2065526162","https://openalex.org/W2069760772","https://openalex.org/W2073845305","https://openalex.org/W2094394144","https://openalex.org/W2095511627","https://openalex.org/W2106319433","https://openalex.org/W2128433357","https://openalex.org/W2144531585","https://openalex.org/W2144771279","https://openalex.org/W2148996947","https://openalex.org/W2161536823","https://openalex.org/W2476096155","https://openalex.org/W2633545396","https://openalex.org/W2913383557","https://openalex.org/W4212940894","https://openalex.org/W4212985172","https://openalex.org/W4241509948","https://openalex.org/W6758617378"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W2331020993","https://openalex.org/W4383764068","https://openalex.org/W1865715204","https://openalex.org/W2964662755","https://openalex.org/W2096284940","https://openalex.org/W2916830211","https://openalex.org/W1994637428","https://openalex.org/W2021535402","https://openalex.org/W4232397231"],"abstract_inverted_index":{"The":[0],"paper":[1],"investigates":[2],"fundamental":[3],"decision":[4],"problems":[5],"and":[6,47,56,77,100,145,148,152],"composition":[7,164],"synthesis":[8,79,95,165],"for":[9,70,166],"Web":[10,22,71,118],"services":[11,23,119],"commonly":[12],"found":[13],"in":[14,50,107],"practice.":[15],"We":[16,82,112,158],"propose":[17],"a":[18,34,45,108],"notion":[19],"of":[20,29,36,80,96,117,137],"synthesized":[21],"(ASTs)":[24],"to":[25,44,67],"specify":[26],"the":[27,30,61,94,115,142],"behaviors":[28,116],"services.":[31],"Upon":[32],"receiving":[33],"sequence":[35],"input":[37,103],"messages,":[38],"an":[39,89],"AST":[40,90,133,168],"issues":[41],"multiple":[42],"queries":[43,88],"database":[46,57],"generates":[48],"actions,":[49],"parallel;":[51],"it":[52],"produces":[53],"external":[54],"messages":[55],"updates":[58],"by":[59,121,131],"synthesizing":[60],"actions":[62,97],"parallelly":[63],"generated.":[64],"In":[65],"contrast":[66],"previous":[68],"models":[69],"services,":[72],"ASTs":[73,84],"advocate":[74],"parallel":[75],"processing":[76],"(deterministic)":[78],"actions.":[81],"classify":[83],"based":[85],"on":[86,155,163],"what":[87],"can":[91,128],"issue,":[92],"how":[93],"is":[98],"expressed,":[99],"whether":[101],"unbounded":[102],"sequences":[104],"are":[105],"allowed":[106],"single":[109],"interaction":[110],"session.":[111],"show":[113],"that":[114],"supported":[120],"various":[122],"prior":[123],"models,":[124],"data-driven":[125],"or":[126],"not,":[127],"be":[129],"specified":[130],"different":[132],"classes.":[134],"For":[135],"each":[136],"these":[138,156,167],"classes":[139],"we":[140],"study":[141],"non-emptiness,":[143],"validation":[144],"equivalence":[146],"problems,":[147],"establish":[149],"matching":[150],"upper":[151],"lower":[153],"bounds":[154,162],"problems.":[157],"also":[159],"provide":[160],"complexity":[161],"classes,":[169],"identifying":[170],"decidable":[171],"cases.":[172]},"counts_by_year":[{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}