{"id":"https://openalex.org/W2990029178","doi":"https://doi.org/10.1007/s10586-019-03018-9","title":"A hybrid formal verification approach for QoS-aware multi-cloud service composition","display_name":"A hybrid formal verification approach for QoS-aware multi-cloud service composition","publication_year":2019,"publication_date":"2019-11-28","ids":{"openalex":"https://openalex.org/W2990029178","doi":"https://doi.org/10.1007/s10586-019-03018-9","mag":"2990029178"},"language":"en","primary_location":{"id":"doi:10.1007/s10586-019-03018-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10586-019-03018-9","pdf_url":null,"source":{"id":"https://openalex.org/S106148199","display_name":"Cluster Computing","issn_l":"1386-7857","issn":["1386-7857","1573-7543"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cluster 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/A5080921529","display_name":"Alireza Souri","orcid":"https://orcid.org/0000-0001-8314-9051"},"institutions":[{"id":"https://openalex.org/I155419210","display_name":"Islamic Azad University, Science and Research Branch","ror":"https://ror.org/03187yj51","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I155419210"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Alireza Souri","raw_affiliation_strings":["Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran"],"raw_orcid":"https://orcid.org/0000-0001-8314-9051","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran","institution_ids":["https://openalex.org/I155419210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021772077","display_name":"Amir Masoud Rahmani","orcid":"https://orcid.org/0000-0001-8641-6119"},"institutions":[{"id":"https://openalex.org/I155419210","display_name":"Islamic Azad University, Science and Research Branch","ror":"https://ror.org/03187yj51","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I155419210"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Amir Masoud Rahmani","raw_affiliation_strings":["Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran","institution_ids":["https://openalex.org/I155419210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007907571","display_name":"Nima Jafari Navimipour","orcid":"https://orcid.org/0000-0002-5514-5536"},"institutions":[{"id":"https://openalex.org/I1293555014","display_name":"Islamic Azad University of Tabriz","ror":"https://ror.org/04hnf9a51","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I1293555014"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Nima Jafari Navimipour","raw_affiliation_strings":["Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran","institution_ids":["https://openalex.org/I1293555014"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088455579","display_name":"R. Rezaei","orcid":"https://orcid.org/0000-0002-3267-8946"},"institutions":[{"id":"https://openalex.org/I136830121","display_name":"Islamic Azad University South Tehran Branch","ror":"https://ror.org/02xc21a77","country_code":"IR","type":"education","lineage":["https://openalex.org/I110525433","https://openalex.org/I136830121"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Reza Rezaei","raw_affiliation_strings":["Department of Computer Engineering, College of Technical and Engineering, West Tehran Branch, Islamic Azad University, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, College of Technical and Engineering, West Tehran Branch, Islamic Azad University, Tehran, Iran","institution_ids":["https://openalex.org/I136830121"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5080921529"],"corresponding_institution_ids":["https://openalex.org/I155419210"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":15.3696,"has_fulltext":false,"cited_by_count":79,"citation_normalized_percentile":{"value":0.98893773,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"23","issue":"4","first_page":"2453","last_page":"2470"},"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.9995999932289124,"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.9995999932289124,"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.9898999929428101,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9717000126838684,"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.8277220726013184},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8167160749435425},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.7217755913734436},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.6128306984901428},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.607334554195404},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5568013191223145},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.551882266998291},{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.48101502656936646},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.47482427954673767},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4685949385166168},{"id":"https://openalex.org/keywords/service-provider","display_name":"Service provider","score":0.4670385718345642},{"id":"https://openalex.org/keywords/service-composition","display_name":"Service composition","score":0.4420351982116699},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2801847755908966},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2765995264053345},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1702447235584259},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11656126379966736}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8277220726013184},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8167160749435425},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.7217755913734436},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.6128306984901428},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.607334554195404},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5568013191223145},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.551882266998291},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.48101502656936646},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.47482427954673767},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4685949385166168},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.4670385718345642},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.4420351982116699},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2801847755908966},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2765995264053345},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1702447235584259},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11656126379966736},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10586-019-03018-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10586-019-03018-9","pdf_url":null,"source":{"id":"https://openalex.org/S106148199","display_name":"Cluster Computing","issn_l":"1386-7857","issn":["1386-7857","1573-7543"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cluster Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W154256836","https://openalex.org/W214380483","https://openalex.org/W332506170","https://openalex.org/W1775055752","https://openalex.org/W1973467201","https://openalex.org/W1996289321","https://openalex.org/W1997485141","https://openalex.org/W2007239035","https://openalex.org/W2076336294","https://openalex.org/W2079923099","https://openalex.org/W2091736269","https://openalex.org/W2148021733","https://openalex.org/W2166575037","https://openalex.org/W2296233380","https://openalex.org/W2495349330","https://openalex.org/W2559094099","https://openalex.org/W2561527288","https://openalex.org/W2588084903","https://openalex.org/W2744856470","https://openalex.org/W2748732287","https://openalex.org/W2755144723","https://openalex.org/W2764038098","https://openalex.org/W2769745615","https://openalex.org/W2769970598","https://openalex.org/W2773588639","https://openalex.org/W2781706673","https://openalex.org/W2782074258","https://openalex.org/W2794350243","https://openalex.org/W2795153700","https://openalex.org/W2797550608","https://openalex.org/W2807717725","https://openalex.org/W2810265518","https://openalex.org/W2811493799","https://openalex.org/W2886525480","https://openalex.org/W2890532764","https://openalex.org/W2890696722","https://openalex.org/W2893780590","https://openalex.org/W2898125743","https://openalex.org/W2899749457","https://openalex.org/W2913015488","https://openalex.org/W2916817286","https://openalex.org/W2919200352","https://openalex.org/W2922412292","https://openalex.org/W2943329843","https://openalex.org/W2950179095","https://openalex.org/W2951398599","https://openalex.org/W3101090957","https://openalex.org/W3102933607","https://openalex.org/W4248337107","https://openalex.org/W4285719527","https://openalex.org/W4392909747"],"related_works":["https://openalex.org/W2323516465","https://openalex.org/W4238615239","https://openalex.org/W2063960996","https://openalex.org/W2085045797","https://openalex.org/W2170179501","https://openalex.org/W1998565590","https://openalex.org/W1489461459","https://openalex.org/W2059083982","https://openalex.org/W2735256025","https://openalex.org/W2036259556"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":16},{"year":2022,"cited_by_count":13},{"year":2021,"cited_by_count":17},{"year":2020,"cited_by_count":10}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}