Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed

doi:10.1007/978-3-319-91764-1_7

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Rawand Guerfel
, Zohra Sbaï
, Rahma Ben Ayed

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Cloud computing is a revolution in how computing power is delivered to business. It offers different measured services to clients who require them by writing a simple request. These requests are becoming more and more complex so that services need to be composed to meet them. Additionally, these Cloud composite business services (CCBSs) need to be elastic, i.e. their number should be replicated or reduced according to the number of their user demands. Ensuring these two operations is done according to a well-defined strategy. We are interested in this paper in cost-effective elasticity one. Applying this strategy on CCBSs gives birth to a system that needs to be checked to insure that SLA constraints, such as deadline specified by the user, are not violated. In this paper, we present a formal model using Timed Coloured Petri nets to model, check and compare between these strategies before implementing them in real Cloud.

Original language	English
Title of host publication	Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers
Editors	Nima Kaviani, Lars Braubach, Manuel Lama, Naouel Moha, Juan M. Murillo, Marc Oriol, Loli Burgueno
Publisher	Springer Verlag
Pages	80-92
Number of pages	13
ISBN (Print)	9783319917634
DOIs	https://doi.org/10.1007/978-3-319-91764-1_7
State	Published - 2018
Externally published	Yes
Event	15th International Conference on Service-Oriented Computing, ICSOC 2017, Workshop track: 2nd Workshop on Adaptive Service-Oriented and Cloud Applications, ASOCA 2017, 2nd Workshop on IoT Systems Provisioning and Management in Cloud Computing, ISyCC 2016, 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services, WESOACS 2017 and Satellite Events - Malaga, Spain Duration: 13 Nov 2017 → 16 Nov 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10797 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th International Conference on Service-Oriented Computing, ICSOC 2017, Workshop track: 2nd Workshop on Adaptive Service-Oriented and Cloud Applications, ASOCA 2017, 2nd Workshop on IoT Systems Provisioning and Management in Cloud Computing, ISyCC 2016, 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services, WESOACS 2017 and Satellite Events
Country/Territory	Spain
City	Malaga
Period	13/11/17 → 16/11/17

Keywords

Cloud computing composition
Cloud elasticity
Cost-effective strategy
Formal model
SLA
Timed Coloured Petri Net

Access to Document

10.1007/978-3-319-91764-1_7

Cite this

Guerfel, R., Sbaï, Z., & Ayed, R. B. (2018). Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. In N. Kaviani, L. Braubach, M. Lama, N. Moha, J. M. Murillo, M. Oriol, & L. Burgueno (Eds.), Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers (pp. 80-92). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10797 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-91764-1_7

Guerfel, Rawand ; Sbaï, Zohra ; Ayed, Rahma Ben. / Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers. editor / Nima Kaviani ; Lars Braubach ; Manuel Lama ; Naouel Moha ; Juan M. Murillo ; Marc Oriol ; Loli Burgueno. Springer Verlag, 2018. pp. 80-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{319d072078234b93acfab10568ee26e3,

title = "Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing",

abstract = "Cloud computing is a revolution in how computing power is delivered to business. It offers different measured services to clients who require them by writing a simple request. These requests are becoming more and more complex so that services need to be composed to meet them. Additionally, these Cloud composite business services (CCBSs) need to be elastic, i.e. their number should be replicated or reduced according to the number of their user demands. Ensuring these two operations is done according to a well-defined strategy. We are interested in this paper in cost-effective elasticity one. Applying this strategy on CCBSs gives birth to a system that needs to be checked to insure that SLA constraints, such as deadline specified by the user, are not violated. In this paper, we present a formal model using Timed Coloured Petri nets to model, check and compare between these strategies before implementing them in real Cloud.",

keywords = "Cloud computing composition, Cloud elasticity, Cost-effective strategy, Formal model, SLA, Timed Coloured Petri Net",

author = "Rawand Guerfel and Zohra Sba{\"i} and Ayed, \{Rahma Ben\}",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.; 15th International Conference on Service-Oriented Computing, ICSOC 2017, Workshop track: 2nd Workshop on Adaptive Service-Oriented and Cloud Applications, ASOCA 2017, 2nd Workshop on IoT Systems Provisioning and Management in Cloud Computing, ISyCC 2016, 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services, WESOACS 2017 and Satellite Events ; Conference date: 13-11-2017 Through 16-11-2017",

year = "2018",

doi = "10.1007/978-3-319-91764-1\_7",

language = "English",

isbn = "9783319917634",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "80--92",

editor = "Nima Kaviani and Lars Braubach and Manuel Lama and Naouel Moha and Murillo, \{Juan M.\} and Marc Oriol and Loli Burgueno",

booktitle = "Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers",

address = "Germany",

}

Guerfel, R, Sbaï, Z & Ayed, RB 2018, Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. in N Kaviani, L Braubach, M Lama, N Moha, JM Murillo, M Oriol & L Burgueno (eds), Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10797 LNCS, Springer Verlag, pp. 80-92, 15th International Conference on Service-Oriented Computing, ICSOC 2017, Workshop track: 2nd Workshop on Adaptive Service-Oriented and Cloud Applications, ASOCA 2017, 2nd Workshop on IoT Systems Provisioning and Management in Cloud Computing, ISyCC 2016, 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services, WESOACS 2017 and Satellite Events, Malaga, Spain, 13/11/17. https://doi.org/10.1007/978-3-319-91764-1_7

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. / Guerfel, Rawand; Sbaï, Zohra; Ayed, Rahma Ben.
Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers. ed. / Nima Kaviani; Lars Braubach; Manuel Lama; Naouel Moha; Juan M. Murillo; Marc Oriol; Loli Burgueno. Springer Verlag, 2018. p. 80-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10797 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

AU - Guerfel, Rawand

AU - Sbaï, Zohra

AU - Ayed, Rahma Ben

N1 - Publisher Copyright: © Springer International Publishing AG, part of Springer Nature 2018.

PY - 2018

Y1 - 2018

N2 - Cloud computing is a revolution in how computing power is delivered to business. It offers different measured services to clients who require them by writing a simple request. These requests are becoming more and more complex so that services need to be composed to meet them. Additionally, these Cloud composite business services (CCBSs) need to be elastic, i.e. their number should be replicated or reduced according to the number of their user demands. Ensuring these two operations is done according to a well-defined strategy. We are interested in this paper in cost-effective elasticity one. Applying this strategy on CCBSs gives birth to a system that needs to be checked to insure that SLA constraints, such as deadline specified by the user, are not violated. In this paper, we present a formal model using Timed Coloured Petri nets to model, check and compare between these strategies before implementing them in real Cloud.

AB - Cloud computing is a revolution in how computing power is delivered to business. It offers different measured services to clients who require them by writing a simple request. These requests are becoming more and more complex so that services need to be composed to meet them. Additionally, these Cloud composite business services (CCBSs) need to be elastic, i.e. their number should be replicated or reduced according to the number of their user demands. Ensuring these two operations is done according to a well-defined strategy. We are interested in this paper in cost-effective elasticity one. Applying this strategy on CCBSs gives birth to a system that needs to be checked to insure that SLA constraints, such as deadline specified by the user, are not violated. In this paper, we present a formal model using Timed Coloured Petri nets to model, check and compare between these strategies before implementing them in real Cloud.

KW - Cloud computing composition

KW - Cloud elasticity

KW - Cost-effective strategy

KW - Formal model

KW - SLA

KW - Timed Coloured Petri Net

UR - https://www.scopus.com/pages/publications/85049010573

U2 - 10.1007/978-3-319-91764-1_7

DO - 10.1007/978-3-319-91764-1_7

M3 - Conference contribution

AN - SCOPUS:85049010573

SN - 9783319917634

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 80

EP - 92

BT - Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers

A2 - Kaviani, Nima

A2 - Braubach, Lars

A2 - Lama, Manuel

A2 - Moha, Naouel

A2 - Murillo, Juan M.

A2 - Oriol, Marc

A2 - Burgueno, Loli

PB - Springer Verlag

T2 - 15th International Conference on Service-Oriented Computing, ICSOC 2017, Workshop track: 2nd Workshop on Adaptive Service-Oriented and Cloud Applications, ASOCA 2017, 2nd Workshop on IoT Systems Provisioning and Management in Cloud Computing, ISyCC 2016, 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services, WESOACS 2017 and Satellite Events

Y2 - 13 November 2017 through 16 November 2017

ER -

Guerfel R, Sbaï Z, Ayed RB. Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. In Kaviani N, Braubach L, Lama M, Moha N, Murillo JM, Oriol M, Burgueno L, editors, Service-Oriented Computing – ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Revised Selected Papers. Springer Verlag. 2018. p. 80-92. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-91764-1_7

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this