{"id":"https://openalex.org/W2119238100","doi":"https://doi.org/10.1109/sose.2011.6139097","title":"Unified management of control flow and data mismatches in web service composition","display_name":"Unified management of control flow and data mismatches in web service composition","publication_year":2011,"publication_date":"2011-12-01","ids":{"openalex":"https://openalex.org/W2119238100","doi":"https://doi.org/10.1109/sose.2011.6139097","mag":"2119238100"},"language":"en","primary_location":{"id":"doi:10.1109/sose.2011.6139097","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sose.2011.6139097","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021691548","display_name":"Syed Adeel Ali","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Syed Adeel Ali","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, New Zealand","Department of Electrical and Computer Engineering, The University of Auckland, New Zealand#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Auckland, New Zealand#TAB#","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha Roop","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, New Zealand","Department of Electrical and Computer Engineering, The University of Auckland, New Zealand#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Auckland, New Zealand#TAB#","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080395921","display_name":"Ian Warren","orcid":"https://orcid.org/0000-0002-4931-8605"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Ian Warren","raw_affiliation_strings":["Department of Computer Science, University of Auckland, New Zealand","Department of Computer Science, The University of Auckland, New Zealand#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Computer Science, The University of Auckland, New Zealand#TAB#","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041533142","display_name":"Zeeshan Bhatti","orcid":"https://orcid.org/0000-0002-5462-6696"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Zeeshan Ejaz Bhatti","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, New Zealand","Department of Electrical and Computer Engineering, The University of Auckland, New Zealand#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Auckland, New Zealand#TAB#","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"1 1","issue":null,"first_page":"93","last_page":"101"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9965000152587891,"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/computer-science","display_name":"Computer science","score":0.8119947910308838},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.7475290298461914},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6355854272842407},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.5873678922653198},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5403585433959961},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5097958445549011},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4742024540901184},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4523235261440277},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.44812721014022827},{"id":"https://openalex.org/keywords/service-composition","display_name":"Service composition","score":0.42525044083595276},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42067328095436096},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.394815593957901},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3876396417617798},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3546203076839447},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33865487575531006},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13122820854187012}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8119947910308838},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.7475290298461914},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6355854272842407},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.5873678922653198},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5403585433959961},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5097958445549011},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4742024540901184},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4523235261440277},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.44812721014022827},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.42525044083595276},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42067328095436096},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.394815593957901},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3876396417617798},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3546203076839447},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33865487575531006},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13122820854187012},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sose.2011.6139097","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sose.2011.6139097","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1175781713","https://openalex.org/W1239375374","https://openalex.org/W1971513086","https://openalex.org/W2008896880","https://openalex.org/W2023573235","https://openalex.org/W2043452331","https://openalex.org/W2053068495","https://openalex.org/W2054618740","https://openalex.org/W2057260173","https://openalex.org/W2059661024","https://openalex.org/W2067441543","https://openalex.org/W2084645354","https://openalex.org/W2100535349","https://openalex.org/W2101508170","https://openalex.org/W2106353452","https://openalex.org/W2107564916","https://openalex.org/W2129443997","https://openalex.org/W2142660860","https://openalex.org/W2148572968","https://openalex.org/W2158475018","https://openalex.org/W2166104610","https://openalex.org/W2168103533","https://openalex.org/W3142062468","https://openalex.org/W3147247906","https://openalex.org/W6627689832","https://openalex.org/W6664105977"],"related_works":["https://openalex.org/W2095925360","https://openalex.org/W1549956274","https://openalex.org/W4246377515","https://openalex.org/W2052160877","https://openalex.org/W2040778456","https://openalex.org/W2119238100","https://openalex.org/W2148473336","https://openalex.org/W4254236578","https://openalex.org/W2144344516","https://openalex.org/W1754116331"],"abstract_inverted_index":{"The":[0],"two":[1],"main":[2],"aspects":[3],"of":[4,66,110,116],"the":[5,22,26,29,36,63,108,117,121,148],"web":[6],"service":[7,112],"composition":[8,70],"problem":[9],"are":[10,134],"control":[11,73],"flow":[12,74],"and":[13,31,75,82,97,130,139],"data":[14,77,132],"mismatches.":[15],"Several":[16],"approaches":[17],"have":[18],"been":[19,42],"reported":[20],"in":[21,68,85,100,154],"literature":[23],"to":[24,46,95,128],"tackle":[25],"former;":[27],"while":[28],"latter,":[30],"equally":[32],"relevant":[33],"aspect":[34],"for":[35],"correct":[37,64],"compositional":[38],"behavior,":[39],"has":[40],"either":[41],"ignored":[43],"or":[44,106],"addressed":[45],"a":[47,54,69,86,101,111,155],"very":[48],"limited":[49],"extent.":[50],"This":[51],"paper":[52],"describes":[53],"formal":[55],"approach":[56,149],"based":[57,91],"on":[58],"model":[59],"checking,":[60],"that":[61,104,120,147],"guarantees":[62],"interaction":[65],"services":[67],"by":[71],"managing":[72],"resolving":[76],"mismatches":[78,133],"at":[79],"semantic,":[80],"syntactic":[81],"structural":[83],"levels,":[84],"unified":[87],"manner.":[88],"A":[89],"tableau":[90],"algorithm":[92],"is":[93,124],"used":[94],"generate":[96],"explore":[98],"compositions":[99],"goal-directed":[102],"fashion,":[103],"proves":[105],"disproves":[107],"existence":[109],"orchestrator.":[113],"Successful":[114],"synthesis":[115],"orchestrator":[118],"confirms":[119],"required":[122],"functionality":[123],"realizable.":[125],"Data":[126],"models":[127],"detect":[129],"resolve":[131],"generated":[135],"using":[136],"WSDL":[137],"documents":[138],"regular":[140],"expressions.":[141],"Experimental":[142],"results":[143],"provide":[144],"strong":[145],"testimony":[146],"can":[150],"be":[151],"effectively":[152],"applied":[153],"practical":[156],"setting.":[157]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}