{"id":"https://openalex.org/W2807812088","doi":"https://doi.org/10.1007/978-3-319-91764-1_7","title":"Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing","display_name":"Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2807812088","doi":"https://doi.org/10.1007/978-3-319-91764-1_7","mag":"2807812088"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-91764-1_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-91764-1_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5013707290","display_name":"Rawand Guerfel","orcid":null},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Rawand Guerfel","raw_affiliation_strings":["Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]},{"raw_affiliation_string":"Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013770247","display_name":"Zohra Sba\u00ef","orcid":"https://orcid.org/0000-0002-2000-4370"},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I142608572","display_name":"Prince Sattam Bin Abdulaziz University","ror":"https://ror.org/04jt46d36","country_code":"SA","type":"education","lineage":["https://openalex.org/I142608572"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}],"countries":["SA","TN"],"is_corresponding":false,"raw_author_name":"Zohra Sba\u00ef","raw_affiliation_strings":["College of Computer Engineering and Science, Prince Sattam Bin Abdulaziz University, PO Box 151, Al-Kharj, 11942, Kingdom of Saudi Arabia","Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"College of Computer Engineering and Science, Prince Sattam Bin Abdulaziz University, PO Box 151, Al-Kharj, 11942, Kingdom of Saudi Arabia","institution_ids":["https://openalex.org/I142608572"]},{"raw_affiliation_string":"Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]},{"raw_affiliation_string":"Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050443319","display_name":"Rahma Ben Ayed","orcid":null},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Rahma Ben Ayed","raw_affiliation_strings":["Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]},{"raw_affiliation_string":"Universit\u00e9 de Tunis El Manar, \u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013707290"],"corresponding_institution_ids":["https://openalex.org/I108714496","https://openalex.org/I4210131288","https://openalex.org/I63596082"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.2851,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.79215149,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"80","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994999766349792,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8598212003707886},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8512769937515259},{"id":"https://openalex.org/keywords/elasticity","display_name":"Elasticity (physics)","score":0.7428119778633118},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5100601315498352},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4943099021911621},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34000158309936523},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25743135809898376}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8598212003707886},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8512769937515259},{"id":"https://openalex.org/C121854251","wikidata":"https://www.wikidata.org/wiki/Q62932","display_name":"Elasticity (physics)","level":2,"score":0.7428119778633118},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5100601315498352},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4943099021911621},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34000158309936523},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25743135809898376},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-91764-1_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-91764-1_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W7549854","https://openalex.org/W304986642","https://openalex.org/W586014437","https://openalex.org/W1572660965","https://openalex.org/W1982136614","https://openalex.org/W2005137712","https://openalex.org/W2046510904","https://openalex.org/W2049791239","https://openalex.org/W2059447001","https://openalex.org/W2117372312","https://openalex.org/W2294809305","https://openalex.org/W2296219721","https://openalex.org/W2399332166"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W1538101305","https://openalex.org/W2982241419","https://openalex.org/W4312629719"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}