{"id":"https://openalex.org/W2344091712","doi":"https://doi.org/10.1142/s0218194016500121","title":"Formally Modeling and Analyzing the Reliability of Cloud Applications","display_name":"Formally Modeling and Analyzing the Reliability of Cloud Applications","publication_year":2016,"publication_date":"2016-03-01","ids":{"openalex":"https://openalex.org/W2344091712","doi":"https://doi.org/10.1142/s0218194016500121","mag":"2344091712"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194016500121","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194016500121","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5034901082","display_name":"Guisheng Fan","orcid":"https://orcid.org/0000-0002-2702-0242"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guisheng Fan","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058941949","display_name":"Huiqun Yu","orcid":"https://orcid.org/0000-0002-1899-1135"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huiqun Yu","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101592628","display_name":"Liqiong Chen","orcid":"https://orcid.org/0000-0003-1927-2148"},"institutions":[{"id":"https://openalex.org/I67001856","display_name":"Shanghai Institute of Technology","ror":"https://ror.org/00fjzqj15","country_code":"CN","type":"education","lineage":["https://openalex.org/I67001856"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Liqiong Chen","raw_affiliation_strings":["Department of Computer Science and Information Engineering, Shanghai Institute of Technology, Shanghai 200235, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Engineering, Shanghai Institute of Technology, Shanghai 200235, P. R. China","institution_ids":["https://openalex.org/I67001856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101592628"],"corresponding_institution_ids":["https://openalex.org/I67001856"],"apc_list":null,"apc_paid":null,"fwci":0.6766,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78180747,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"26","issue":"02","first_page":"273","last_page":"305"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9987999796867371,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9987999796867371,"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.9983999729156494,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.9089784622192383},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8038653135299683},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7610305547714233},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6675041913986206},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6422037482261658},{"id":"https://openalex.org/keywords/cloud-testing","display_name":"Cloud testing","score":0.5811503529548645},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.46245765686035156},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4210633337497711},{"id":"https://openalex.org/keywords/outsourcing","display_name":"Outsourcing","score":0.41193723678588867},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3998546898365021},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3615318536758423},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.2577921152114868},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14589473605155945},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13429594039916992},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11420392990112305}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.9089784622192383},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8038653135299683},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7610305547714233},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6675041913986206},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6422037482261658},{"id":"https://openalex.org/C120115606","wikidata":"https://www.wikidata.org/wiki/Q5135723","display_name":"Cloud testing","level":4,"score":0.5811503529548645},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.46245765686035156},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4210633337497711},{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.41193723678588867},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3998546898365021},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3615318536758423},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.2577921152114868},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14589473605155945},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13429594039916992},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11420392990112305},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194016500121","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194016500121","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W54701845","https://openalex.org/W66016669","https://openalex.org/W1970482142","https://openalex.org/W1986699744","https://openalex.org/W1988660452","https://openalex.org/W1992198088","https://openalex.org/W1993628331","https://openalex.org/W1994788755","https://openalex.org/W1995825765","https://openalex.org/W1997647383","https://openalex.org/W2007119606","https://openalex.org/W2009524993","https://openalex.org/W2016188438","https://openalex.org/W2027430010","https://openalex.org/W2028351695","https://openalex.org/W2035228479","https://openalex.org/W2045287414","https://openalex.org/W2046510904","https://openalex.org/W2052544413","https://openalex.org/W2053203596","https://openalex.org/W2053690446","https://openalex.org/W2064483023","https://openalex.org/W2083689785","https://openalex.org/W2086726476","https://openalex.org/W2114871112","https://openalex.org/W2117189826","https://openalex.org/W2146673793","https://openalex.org/W2149085204","https://openalex.org/W2149200585","https://openalex.org/W2155237527","https://openalex.org/W2166011729","https://openalex.org/W2301363727","https://openalex.org/W2569378140","https://openalex.org/W3146248262"],"related_works":["https://openalex.org/W4234803302","https://openalex.org/W2081623927","https://openalex.org/W2182626659","https://openalex.org/W2279599515","https://openalex.org/W2162363243","https://openalex.org/W2578079388","https://openalex.org/W2468622191","https://openalex.org/W2950463207","https://openalex.org/W2992519837","https://openalex.org/W2065963693"],"abstract_inverted_index":{"Cloud":[0],"computing":[1],"has":[2],"become":[3],"an":[4],"important,":[5],"useful":[6],"paradigm":[7],"for":[8,165],"building":[9],"applications":[10,132],"with":[11],"cloud":[12,15,32,39,56,73,88,104,120,131],"services.":[13],"However,":[14],"services":[16],"exist":[17],"in":[18],"heterogeneous":[19],"environments":[20],"on":[21],"the":[22,29,48,53,66,85,99,111,117,147,152,167,182],"Internet.":[23],"It":[24],"is":[25,143],"challenging":[26],"to":[27,82,97,109,128,145,180],"guarantee":[28],"reliability":[30,54,118,125,148],"of":[31,52,55,87,102,119,162,169,176,184],"applications.":[33,57,121],"Although":[34],"there":[35],"are":[36,178],"efforts":[37],"studying":[38],"and":[40,50,76,106,113,159],"grid":[41],"service":[42],"reliability,":[43],"very":[44],"few":[45],"have":[46],"considered":[47],"modeling":[49],"analysis":[51],"To":[58],"address":[59],"this":[60],"emerging,":[61],"important":[62],"problem,":[63],"we":[64,91,123],"propose":[65,124],"first":[67],"systematic":[68],"approach":[69],"that":[70,130],"considers":[71],"both":[72],"application":[74],"elements":[75],"their":[77,135],"running":[78],"environment":[79],"so":[80],"as":[81],"faithfully":[83],"model":[84,98],"dynamics":[86],"computing.":[89],"First,":[90],"present":[92,156],"a":[93,103,174],"formal":[94],"description":[95],"language":[96],"different":[100],"components":[101],"application,":[105],"use":[107],"it":[108],"analyze":[110],"static":[112],"dynamic":[114],"factors":[115],"affecting":[116],"Second,":[122],"assurance":[126,149],"strategies":[127],"ensure":[129],"dynamically":[133],"meet":[134],"required":[136],"reliability.":[137],"Third,":[138],"Computation":[139],"Tree":[140],"Logic":[141],"(CTL)":[142],"used":[144],"convert":[146],"strategy":[150],"into":[151],"CTL":[153],"formulas.":[154],"We":[155],"operational":[157],"semantics":[158],"related":[160],"theories":[161],"Petri":[163],"nets":[164],"establishing":[166],"correctness":[168],"our":[170,185],"proposed":[171,186],"method.":[172],"Finally,":[173],"series":[175],"simulations":[177],"performed":[179],"evaluate":[181],"efficiency":[183],"approach.":[187]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}