{"id":"https://openalex.org/W1979860795","doi":"https://doi.org/10.1109/acc.2013.6579822","title":"A simple formal method to synthesize an orchestrator in web service composition","display_name":"A simple formal method to synthesize an orchestrator in web service composition","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W1979860795","doi":"https://doi.org/10.1109/acc.2013.6579822","mag":"1979860795"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2013.6579822","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2013.6579822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 American Control Conference","raw_type":"proceedings-article"},"type":"article","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/A5054846379","display_name":"Ahmed Khoumsi","orcid":"https://orcid.org/0000-0003-4850-477X"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Ahmed Khoumsi","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Sherbrooke, Sherbrooke, QUE, Canada","Department of Electrical and Computer Engineering, University of Sherbrooke, QC, J1L1T8 Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Sherbrooke, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Sherbrooke, QC, J1L1T8 Canada","institution_ids":["https://openalex.org/I135117807"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5054846379"],"corresponding_institution_ids":["https://openalex.org/I135117807"],"apc_list":null,"apc_paid":null,"fwci":0.8089,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81295372,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"107","last_page":"112"},"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.9998999834060669,"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.9998999834060669,"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.995199978351593,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9911999702453613,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5613479614257812},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38455209136009216},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3806512653827667},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.37443971633911133},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3711101710796356}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5613479614257812},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38455209136009216},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3806512653827667},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.37443971633911133},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3711101710796356}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2013.6579822","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2013.6579822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 American Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W50599218","https://openalex.org/W1546063219","https://openalex.org/W1659289657","https://openalex.org/W1797632971","https://openalex.org/W1979860795","https://openalex.org/W2012024302","https://openalex.org/W2059057465","https://openalex.org/W2109119458","https://openalex.org/W2119830207","https://openalex.org/W2142660860","https://openalex.org/W2144983255","https://openalex.org/W2147773674","https://openalex.org/W2167470093","https://openalex.org/W3147247906","https://openalex.org/W6637030351","https://openalex.org/W6677816531","https://openalex.org/W6681681883"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,60,72],"study":[1,74],"the":[2,32,76,89,118,133],"following":[3],"web":[4,10,25],"service":[5,26,78],"composition":[6,70],"problem:":[7],"given":[8],"existing":[9],"services":[11],"S":[12,18,27,42,48,54,79,121,127,138],"<sub":[13,19,28,43,49,55,80,92,96,122,128,139],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[14,20,29,44,50,56,81,93,97,123,129,140],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sub>":[15,45,124],",":[16,31,46,125],"\u22ef,":[17,47,126],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">n</sub>":[21,51,130],"and":[22],"a":[23,62,108,114],"desired":[24,77],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">0</sub>":[30,57,82,141],"objective":[33],"is":[34,58,83,113],"to":[35,137],"synthesize":[36],"an":[37],"orchestrator":[38],"Orch":[39,112],"that":[40,53,67,116,132],"coordinates":[41],"so":[52,131],"provided.":[59],"develop":[61],"simple":[63],"input-output":[64],"automata-based":[65],"method":[66],"solves":[68],"this":[69],"problem.":[71],"also":[73],"whether":[75],"totally":[84],"or":[85],"partially":[86],"provided":[87],"by":[88],"system":[90,135],"((S":[91],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">i</sub>":[94,98],")":[95],"=1\u22efn,":[99],"Orch).":[100],"The":[101],"studied":[102],"problem":[103],"can":[104],"be":[105],"seen":[106],"as":[107],"control":[109],"problem,":[110],"where":[111],"controller":[115],"restricts":[117],"behaviors":[119],"of":[120],"controlled":[134],"conforms":[136],".":[142]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}