{"id":"https://openalex.org/W4285221287","doi":"https://doi.org/10.1109/tsc.2022.3184013","title":"CTL-Based Adaptive Service Composition in Edge Networks","display_name":"CTL-Based Adaptive Service Composition in Edge Networks","publication_year":2022,"publication_date":"2022-06-17","ids":{"openalex":"https://openalex.org/W4285221287","doi":"https://doi.org/10.1109/tsc.2022.3184013"},"language":"en","primary_location":{"id":"doi:10.1109/tsc.2022.3184013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2022.3184013","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-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/A5089499642","display_name":"Deng Zhao","orcid":"https://orcid.org/0000-0001-6378-5595"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deng Zhao","raw_affiliation_strings":["School of Information Engineering, China University of Geosciences (Beijing), Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6378-5595","affiliations":[{"raw_affiliation_string":"School of Information Engineering, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052234427","display_name":"Zhangbing Zhou","orcid":"https://orcid.org/0000-0002-3195-2253"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"id":"https://openalex.org/I4392021250","display_name":"State Key Laboratory of Networking and Switching Technology","ror":"https://ror.org/00qtv5q45","country_code":null,"type":"facility","lineage":["https://openalex.org/I139759216","https://openalex.org/I4392021250"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Zhangbing Zhou","raw_affiliation_strings":["School of Information Engineering, China University of Geosciences (Beijing), Beijing, China","ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","State Key Laboratory of  Networking and Switching Technology (10 Xitucheng Rd, Haidian, Beijing, Chine - China)"],"raw_orcid":"https://orcid.org/0000-0002-3195-2253","affiliations":[{"raw_affiliation_string":"School of Information Engineering, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391"]},{"raw_affiliation_string":"ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","institution_ids":["https://openalex.org/I4387153010"]},{"raw_affiliation_string":"IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"State Key Laboratory of  Networking and Switching Technology (10 Xitucheng Rd, Haidian, Beijing, Chine - China)","institution_ids":["https://openalex.org/I4392021250"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065705195","display_name":"Patrick C. K. Hung","orcid":"https://orcid.org/0000-0002-9903-4862"},"institutions":[{"id":"https://openalex.org/I39470171","display_name":"Ontario Tech University","ror":"https://ror.org/016zre027","country_code":"CA","type":"education","lineage":["https://openalex.org/I39470171"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Patrick C. K. Hung","raw_affiliation_strings":["Faculty of Business and Information Technology, Ontario Tech University, Oshawa, ON, Canada","UOIT = Ontario Tech University - University of Ontario Institute of Technology (2000 Simcoe Street North, \r\nOshawa, Ontario L1G 0C5 - Canada)"],"raw_orcid":"https://orcid.org/0000-0002-9903-4862","affiliations":[{"raw_affiliation_string":"Faculty of Business and Information Technology, Ontario Tech University, Oshawa, ON, Canada","institution_ids":["https://openalex.org/I39470171"]},{"raw_affiliation_string":"UOIT = Ontario Tech University - University of Ontario Institute of Technology (2000 Simcoe Street North, \r\nOshawa, Ontario L1G 0C5 - Canada)","institution_ids":["https://openalex.org/I39470171"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055284175","display_name":"Shuiguang Deng","orcid":"https://orcid.org/0000-0001-5015-6095"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuiguang Deng","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-5015-6095","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047225060","display_name":"Xiao Xue","orcid":"https://orcid.org/0000-0001-5396-3909"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Xue","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University, Tianjin, China","TJU - Tianjin University (92 Weijin Rd, Nankai, Tianjin, Chine, 300072 - China)"],"raw_orcid":"https://orcid.org/0000-0001-5396-3909","affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"TJU - Tianjin University (92 Weijin Rd, Nankai, Tianjin, Chine, 300072 - China)","institution_ids":["https://openalex.org/I162868743","https://openalex.org/I205237279"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084851123","display_name":"Walid Gaaloul","orcid":"https://orcid.org/0000-0003-0451-532X"},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Walid Gaaloul","raw_affiliation_strings":["Computer Science Department, TELECOM SudParis, Evry, France","ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)"],"raw_orcid":"https://orcid.org/0000-0003-0451-532X","affiliations":[{"raw_affiliation_string":"Computer Science Department, TELECOM SudParis, Evry, France","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"raw_affiliation_string":"ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","institution_ids":["https://openalex.org/I4387153010"]},{"raw_affiliation_string":"IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","institution_ids":["https://openalex.org/I4210145102"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.3777,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.94755517,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"16","issue":"2","first_page":"1051","last_page":"1065"},"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.9997000098228455,"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.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9973000288009644,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9921000003814697,"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.8395844101905823},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.7572276592254639},{"id":"https://openalex.org/keywords/ctl*","display_name":"CTL*","score":0.6049877405166626},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5862401723861694},{"id":"https://openalex.org/keywords/edge-device","display_name":"Edge device","score":0.5035547614097595},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.49626046419143677},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.3604547679424286},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14144101738929749}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8395844101905823},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.7572276592254639},{"id":"https://openalex.org/C147969180","wikidata":"https://www.wikidata.org/wiki/Q5014579","display_name":"CTL*","level":4,"score":0.6049877405166626},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5862401723861694},{"id":"https://openalex.org/C138236772","wikidata":"https://www.wikidata.org/wiki/Q25098575","display_name":"Edge device","level":3,"score":0.5035547614097595},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.49626046419143677},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.3604547679424286},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14144101738929749},{"id":"https://openalex.org/C202751555","wikidata":"https://www.wikidata.org/wiki/Q221681","display_name":"In vitro","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C154317977","wikidata":"https://www.wikidata.org/wiki/Q376266","display_name":"Cytotoxic T cell","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tsc.2022.3184013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2022.3184013","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04376902v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04376902","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Services Computing, 2023, 16 (2), pp.1051-1065. ⟨10.1109/TSC.2022.3184013⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5151241140","display_name":null,"funder_award_id":"U20A20173","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8702528010","display_name":null,"funder_award_id":"42050103","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W2327779152","https://openalex.org/W2508426174","https://openalex.org/W2523043168","https://openalex.org/W2532015110","https://openalex.org/W2592413155","https://openalex.org/W2604313671","https://openalex.org/W2624912704","https://openalex.org/W2734947660","https://openalex.org/W2740234477","https://openalex.org/W2742806364","https://openalex.org/W2753331711","https://openalex.org/W2773295166","https://openalex.org/W2773588639","https://openalex.org/W2794036657","https://openalex.org/W2884095124","https://openalex.org/W2884118832","https://openalex.org/W2889729337","https://openalex.org/W2889843548","https://openalex.org/W2901015539","https://openalex.org/W2905161511","https://openalex.org/W2947982716","https://openalex.org/W2963697709","https://openalex.org/W2977713273","https://openalex.org/W2981066294","https://openalex.org/W2999472659","https://openalex.org/W3003378062","https://openalex.org/W3009641258","https://openalex.org/W3009808474","https://openalex.org/W3011999856","https://openalex.org/W3012060347","https://openalex.org/W3014036347","https://openalex.org/W3031958474","https://openalex.org/W3037695950","https://openalex.org/W3048391539","https://openalex.org/W3110951576","https://openalex.org/W3115453026","https://openalex.org/W3117755275","https://openalex.org/W3134806768","https://openalex.org/W3149132974","https://openalex.org/W3170182814","https://openalex.org/W3212018903","https://openalex.org/W4210725750"],"related_works":["https://openalex.org/W1549922507","https://openalex.org/W1605884721","https://openalex.org/W2102262438","https://openalex.org/W2027917976","https://openalex.org/W2032919665","https://openalex.org/W1864390991","https://openalex.org/W2414401084","https://openalex.org/W1985728487","https://openalex.org/W4239554058","https://openalex.org/W1584466340"],"abstract_inverted_index":{"With":[0],"the":[1,12,39,65,79,97,108,123,155],"recent":[2],"adoption":[3],"of":[4,81,110,125],"edge":[5,14],"computing,Internet":[6],"ofThings":[7],"(IoT)":[8],"devices":[9],"collaborate":[10],"at":[11,47,58],"network":[13],"to":[15,26,38,132],"facilitate":[16],"edge-native":[17],"applications.":[18],"In":[19],"this":[20,59,84],"setting,IoTdevices":[21],"are":[22,142],"typically":[23],"encapsulated":[24],"asIoTservices":[25],"encode":[27],"their":[28,31],"functionalities,":[29],"and":[30,44,55,103,113,134,147],"collaboration":[32],"is":[33,52,118],"achieved":[34],"throughIoTservice":[35],"composition.":[36],"Due":[37],"continuous":[40],"resource":[41],"occupancy,":[42],"release,":[43],"consumption":[45],"ofIoTdevices":[46],"runtime,":[48],"a":[49,100],"composition,":[50],"which":[51],"functionally":[53],"compatible":[54],"non-functionally":[56],"optimal":[57],"moment,":[60],"may":[61,71],"not":[62],"hold":[63],"in":[64,74,158],"forthcoming":[66],"time":[67],"durations,":[68],"when":[69],"certainIoTservices":[70],"significantly":[72],"downgrade":[73],"theirQuality-of-Services":[75],"(QoS).":[76],"To":[77],"guarantee":[78],"compatibility":[80,117],"compositions":[82],"withQoSvariations,":[83],"article":[85],"proposes":[86],"an":[87],"adaptive":[88,136],"composition":[89,98,137],"mechanism":[90],"leveragingComputationTreeLogic":[91],"(CTL)":[92],"specifications.":[93],"Specifically,":[94],"we":[95,128],"formalize":[96],"as":[99],"temporal":[101],"task,":[102],"convert":[104],"it":[105],"toCTLformulae":[106],"with":[107,138,161],"abstractions":[109],"required":[111],"functionalities":[112],"composite":[114],"structures.":[115],"Functional":[116],"formally":[119],"interpreted":[120],"byCTLsemantics":[121],"during":[122],"execution":[124],"compositions.":[126],"Besides,":[127],"construct":[129],"aQoSDependencyGraph":[130],"(QoSDG)":[131],"captureQoSvariations,":[133],"achieve":[135],"dynamicQoSsatisfactions.":[139],"Extensive":[140],"experiments":[141],"conducted":[143],"upon":[144],"publicly-available":[145],"datasets,":[146],"comparison":[148],"results":[149],"demonstrate":[150],"that":[151],"our":[152],"technique":[153],"outperforms":[154],"state-of-the-art":[156],"counterparts":[157],"heterogenous":[159],"scenarios":[160],"higherQoSdependencies":[162],"ranging":[163],"from":[164],"0.3$\\%$to":[165],"27.8$\\%$.":[166]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":4}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}