{"id":"https://openalex.org/W3106786428","doi":"https://doi.org/10.1109/tnse.2020.3040215","title":"An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems","display_name":"An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems","publication_year":2020,"publication_date":"2020-11-25","ids":{"openalex":"https://openalex.org/W3106786428","doi":"https://doi.org/10.1109/tnse.2020.3040215","mag":"3106786428"},"language":"en","primary_location":{"id":"doi:10.1109/tnse.2020.3040215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnse.2020.3040215","pdf_url":null,"source":{"id":"https://openalex.org/S2484352698","display_name":"IEEE Transactions on Network Science and Engineering","issn_l":"2327-4697","issn":["2327-4697","2334-329X"],"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 Network Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/0ad3a014-b7f5-4161-9d47-b80294e842c1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100373718","display_name":"Xiao Chen","orcid":"https://orcid.org/0000-0002-3290-507X"},"institutions":[{"id":"https://openalex.org/I200845125","display_name":"Nanjing University of Information Science and Technology","ror":"https://ror.org/02y0rxk19","country_code":"CN","type":"education","lineage":["https://openalex.org/I200845125"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Chen","raw_affiliation_strings":["Jiangsu Key Laboratory of Meteorological Observation, and Information Processing, Nanjing University of Information Science, and Technology, Nanjing, China and is with School of Informatics, University of Edinburgh, Edinburgh, Midlothian, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangsu Key Laboratory of Meteorological Observation, and Information Processing, Nanjing University of Information Science, and Technology, Nanjing, China and is with School of Informatics, University of Edinburgh, Edinburgh, Midlothian, U.K","institution_ids":["https://openalex.org/I200845125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100697341","display_name":"Jie Ding","orcid":"https://orcid.org/0000-0001-6398-0868"},"institutions":[{"id":"https://openalex.org/I96733725","display_name":"Shanghai Maritime University","ror":"https://ror.org/04z7qrj66","country_code":"CN","type":"education","lineage":["https://openalex.org/I96733725"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Ding","raw_affiliation_strings":["China Institute of FTZ Supply Chain, Shanghai Maritime University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China Institute of FTZ Supply Chain, Shanghai Maritime University, Shanghai, China","institution_ids":["https://openalex.org/I96733725"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068089141","display_name":"Zhenyu Lu","orcid":"https://orcid.org/0000-0002-5066-4716"},"institutions":[{"id":"https://openalex.org/I200845125","display_name":"Nanjing University of Information Science and Technology","ror":"https://ror.org/02y0rxk19","country_code":"CN","type":"education","lineage":["https://openalex.org/I200845125"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Lu","raw_affiliation_strings":["School of Artificial Intelligence, Nanjing University of Information Science, and Technology, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence, Nanjing University of Information Science, and Technology, Nanjing, China","institution_ids":["https://openalex.org/I200845125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038941441","display_name":"Tianming Zhan","orcid":"https://orcid.org/0000-0001-5030-3032"},"institutions":[{"id":"https://openalex.org/I206777745","display_name":"Nanjing Audit University","ror":"https://ror.org/04zj2bd87","country_code":"CN","type":"education","lineage":["https://openalex.org/I206777745"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianming Zhan","raw_affiliation_strings":["School of Information, and Engineering, Nanjing Audit University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information, and Engineering, Nanjing Audit University, Nanjing, China","institution_ids":["https://openalex.org/I206777745"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":0.1415,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.59268462,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"8","issue":"1","first_page":"447","last_page":"462"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.998199999332428,"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"}},"topics":[{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.998199999332428,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9977999925613403,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8168351054191589},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6985357403755188},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6733288764953613},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.634232759475708},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.45401492714881897},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.413335382938385},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.34311816096305847},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.22196653485298157},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11935126781463623},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10316845774650574},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09836718440055847}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8168351054191589},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6985357403755188},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6733288764953613},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.634232759475708},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.45401492714881897},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.413335382938385},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.34311816096305847},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.22196653485298157},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11935126781463623},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10316845774650574},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09836718440055847},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tnse.2020.3040215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnse.2020.3040215","pdf_url":null,"source":{"id":"https://openalex.org/S2484352698","display_name":"IEEE Transactions on Network Science and Engineering","issn_l":"2327-4697","issn":["2327-4697","2334-329X"],"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 Network Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/0ad3a014-b7f5-4161-9d47-b80294e842c1","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/0ad3a014-b7f5-4161-9d47-b80294e842c1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"Chen, X, Ding, J, Lu, Z & Zhan, T 2021, 'An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems', IEEE Transactions on Network Science and Engineering, vol. 8, no. 1, pp. 447-462. https://doi.org/10.1109/TNSE.2020.3040215","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/0ad3a014-b7f5-4161-9d47-b80294e842c1","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/0ad3a014-b7f5-4161-9d47-b80294e842c1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"Chen, X, Ding, J, Lu, Z & Zhan, T 2021, 'An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems', IEEE Transactions on Network Science and Engineering, vol. 8, no. 1, pp. 447-462. https://doi.org/10.1109/TNSE.2020.3040215","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6700000166893005,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1009658786","display_name":null,"funder_award_id":"61976117","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1650568746","display_name":null,"funder_award_id":"61 773 220","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3573047237","display_name":"\u9762\u5411\u8f66\u8054\u7f51\u5927\u89c4\u6a21\u5e94\u7528\u6570\u636e\u901a\u4fe1\u7684\u9ad8\u6548\u53ef\u4fe1\u4f20\u8f93\u673a\u5236\u7814\u7a76","funder_award_id":"61702233","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5946660692","display_name":"\u968f\u673a\u8fdb\u7a0b\u4ee3\u6570\u6a21\u578b\u7684Fluid\u903c\u8fd1\u95ee\u9898\u7814\u7a76","funder_award_id":"61472343","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6263388391","display_name":null,"funder_award_id":"61472343","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6858930522","display_name":null,"funder_award_id":"BK20191409","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7054349256","display_name":null,"funder_award_id":"SKLSDE-2017KF-03","funder_id":"https://openalex.org/F4320326978","funder_display_name":"State Key Laboratory of Software Development Environment"},{"id":"https://openalex.org/G809899055","display_name":null,"funder_award_id":"19KJA360001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321605","display_name":"Government of Jiangsu Province","ror":"https://ror.org/004svx814"},{"id":"https://openalex.org/F4320326978","display_name":"State Key Laboratory of Software Development Environment","ror":"https://ror.org/017r4dj03"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1991638420","https://openalex.org/W2024273674","https://openalex.org/W2111390218","https://openalex.org/W2121888679","https://openalex.org/W2312281960","https://openalex.org/W2319396036","https://openalex.org/W2335081287","https://openalex.org/W2487311990","https://openalex.org/W2509709458","https://openalex.org/W2569043374","https://openalex.org/W2609824095","https://openalex.org/W2621289772","https://openalex.org/W2734909543","https://openalex.org/W2735250553","https://openalex.org/W2741784930","https://openalex.org/W2744586935","https://openalex.org/W2751016991","https://openalex.org/W2762456226","https://openalex.org/W2789986657","https://openalex.org/W2790265691","https://openalex.org/W2791965076","https://openalex.org/W2884221728","https://openalex.org/W2913740539","https://openalex.org/W2943585974","https://openalex.org/W2947645764","https://openalex.org/W2948674973","https://openalex.org/W2963209633","https://openalex.org/W2979132770","https://openalex.org/W2981587265","https://openalex.org/W2989703019","https://openalex.org/W2993799773","https://openalex.org/W3011830499","https://openalex.org/W3018002587","https://openalex.org/W3049033023","https://openalex.org/W3105376410"],"related_works":["https://openalex.org/W4244478748","https://openalex.org/W3150465815","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W1997222214","https://openalex.org/W2560439919","https://openalex.org/W4389340727","https://openalex.org/W2802581102","https://openalex.org/W4205786897"],"abstract_inverted_index":{"Advanced":[0],"communication":[1,154],"technologies":[2,40],"(e.g.,":[3],"5G)":[4],"probably":[5],"elicit":[6],"a":[7,17,63,96,114,124,166,178],"complete":[8],"change":[9],"of":[10,20,35,45,50,102,138,221],"network":[11],"and":[12,37,47,69,91,156,177,200,228],"its":[13,73],"applications.":[14],"For":[15],"example,":[16],"growing":[18],"number":[19],"services":[21],"begin":[22],"shifting":[23],"from":[24],"central":[25],"clouds":[26],"to":[27,53,65,87,181,203,224],"vast":[28],"mobile":[29],"devices,":[30],"as":[31],"the":[32,79,100,109,135,142,160,194,211,214,218],"hybrid":[33,57],"use":[34],"cloud":[36],"fog":[38],"computing":[39],"can":[41,191],"provide":[42],"enhanced":[43],"quality":[44],"service":[46],"efficient":[48,184],"utilization":[49],"resources.":[51],"However,":[52],"design":[54,75,89],"such":[55],"complex":[56],"cloud-fog":[58],"(HCF)":[59],"systems,":[60],"it":[61],"remains":[62],"challenge":[64],"implement":[66,225],"time-consuming":[67],"modeling":[68,116,227],"inefficient":[70],"evaluation":[71,130],"in":[72,99],"early":[74],"stage":[76],"based":[77,122],"on":[78,123],"conventional":[80],"simulation":[81],"or":[82],"practical":[83],"experimentation.":[84],"Therefore,":[85],"how":[86],"reduce":[88],"cost":[90],"improve":[92],"development":[93],"efficiency":[94],"becomes":[95],"crucial":[97,147],"issue":[98],"process":[101,131],"designing":[103],"large-scale":[104,119],"HCF":[105,120,140,195],"systems.":[106],"To":[107],"address":[108],"issue,":[110],"this":[111],"paper":[112],"proposes":[113],"novel":[115,167],"framework":[117,144,212],"for":[118],"systems":[121,196],"high-level":[125],"formal":[126,222],"language,":[127],"i.e.":[128],"performance":[129],"algebra":[132],"(PEPA).":[133],"Toward":[134],"key":[136],"components":[137],"an":[139,183],"system,":[141],"proposed":[143],"includes":[145],"three":[146],"model":[148,155,162],"prototypes:":[149],"compositional":[150],"architecture":[151],"model,":[152],"abstract":[153],"scheduling":[157,161,169,175,189],"model.":[158],"Moreover,":[159],"is":[163,213],"designed":[164],"with":[165],"smart":[168,188],"scheme":[170],"that":[171],"integrates":[172],"two":[173],"atomic":[174],"algorithms":[176],"decision":[179],"module":[180],"make":[182],"algorithm":[185,190],"selection.":[186],"The":[187],"well":[192],"adapt":[193],"by":[197],"yielding":[198],"stable":[199],"fast":[201],"response":[202],"end-users,":[204],"particularly":[205],"under":[206],"dynamical":[207],"system":[208],"conditions.":[209],"Finally,":[210],"first":[215],"research":[216],"achieving":[217],"full":[219],"potential":[220],"methods":[223],"industry-level":[226],"evaluation.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2025-10-10T00:00:00"}