skip to main content
10.1145/3175684.3175727acmotherconferencesArticle/Chapter ViewAbstractPublication PagesbdiotConference Proceedingsconference-collections
research-article

Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement

Published: 20 December 2017 Publication History

Abstract

Service Level Agreement (SLA) represents a means of regulating and controlling the interaction between service providers and their customers. In the first part of this paper, we use Bigraphical Reactive Systems (BRS) to model customers, offered services by different providers and the SLA between them. Concretely, we use bigraphs, the static structure of BRS, to model these entities and to describe their relationships. In addition, we propose a set of reaction rules to show the evolution of their states during the different stages of the SLA's lifecycle. In the second part, we apply these models in the domain of cloud computing. Cloud computing architecture is usually represented as a stack of different layers. We show that the proposed models can be applied to any computing model (e.g., Software as a Service, Platform as a Service and Infrastructure as service layer) and they allow describing the SLA across the cloud stack layers. We show also that these models can represent the composition of services from several layers to offer complete solutions to end users.

References

[1]
Armbrust, M. et al. 2009. Above the Clouds: A Berkeley View of Cloud Computing.
[2]
Zhang, Q. et al. 2010. Cloud computing: state-of-the-art and research challenges. Journal of Internet Services and Applications. 1, 1 (May 2010), 7--18.
[3]
Mell, P.M. and Grance, T. 2011. SP 800-145. The NIST Definition of Cloud Computing. National Institute of Standards & Technology.
[4]
Buyya, R. et al. 2009. Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems. 25, 6 (Jun. 2009), 599--616.
[5]
Happe, J. et al. 2011. A Reference Architecture for Multi-Level SLA Management. Service Level Agreements for Cloud Computing. P. Wieder et al., eds. Springer New York. 13--26.
[6]
Mohamed, M. et al. 2013. Adding Monitoring and Reconfiguration Facilities for Service-Based Applications in the Cloud. 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA) (Mar. 2013), 756--763.
[7]
Wu, L. and Buyya, R. 2010. Service Level Agreement (SLA) in Utility Computing Systems. arXiv:1010.2881 {cs}. (Oct. 2010).
[8]
Milner, R. 2009. The Space and Motion of Communicating Agents. Cambridge University Press.
[9]
Sahli, H. et al. 2015. A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Procedia Computer Science. 68, Supplement C (Jan. 2015), 29--41.
[10]
Benzadri, Z. et al. 2016. A theoretical approach for modelling Cloud Services Composition. 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) (Oct. 2016), 1--8.
[11]
Kamel, O. et al. 2017. Cloud Service Composition Modeling Using Bigraphical Reactive Systems. Proceedings of the 21st International Database Engineering & Applications Symposium (New York, NY, USA, 2017), 40--48.
[12]
Birkedal, L. et al. 2006. Bigraphical Models of Context-aware Systems. Proceedings of the 9th European Joint Conference on Foundations of Software Science and Computation Structures (Berlin, Heidelberg, 2006), 187--201.
[13]
Testing Context-Aware Applications Based on Bigraphical Modeling - IEEE Journals & Magazine: http://ieeexplore.ieee.org/document/7517225/. Accessed: 2017-10-21.
[14]
Calder, M. et al. 2014. Real-time Verification of Wireless Home Networks Using Bigraphs with Sharing. Sci. Comput. Program. 80, PB (Feb. 2014), 288--310.
[15]
Karim, R. et al. 2013. An End-to-End QoS Mapping Approach for Cloud Service Selection. 2013 IEEE Ninth World Congress on Services (Jun. 2013), 341--348.
[16]
Serrano, D. et al. 2016. SLA guarantees for cloud services. Future Generation Computer Systems. 54, Supplement C (Jan. 2016), 233--246.
[17]
Tata, S. et al. 2017. Living in the Cloud or on the Edge: Opportunities and Challenges of IOT Application Architecture. 2017 IEEE International Conference on Services Computing (SCC) (Jun. 2017), 220--224.
[18]
Milner, R. 2006. Pure bigraphs: Structure and dynamics. Information and Computation. 204, 1 (Jan. 2006), 60--122.
[19]
Galante, G. and Bona, L.C.E. de 2012. A Survey on Cloud Computing Elasticity. Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing (Washington, DC, USA, 2012), 263--270.
[20]
Kouki, Y. et al. 2011. Cross-layer SLA Selection for Cloud Services. 2011 First International Symposium on Network Cloud Computing and Applications (Nov. 2011), 143--147.
[21]
Mietzner, R. et al. 2010. Combining horizontal and vertical composition of services. 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) (Dec. 2010), 1--8.

Cited By

View all
  • (2020)A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoTIEEE Access10.1109/ACCESS.2020.30114838(134498-134513)Online publication date: 2020

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
BDIOT '17: Proceedings of the International Conference on Big Data and Internet of Thing
December 2017
251 pages
ISBN:9781450354301
DOI:10.1145/3175684
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 December 2017

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Bigraphical Reactive Systems
  2. Cloud Computing
  3. Service Level Agreement
  4. XaaS

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

BDIOT2017

Acceptance Rates

Overall Acceptance Rate 75 of 136 submissions, 55%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2020)A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoTIEEE Access10.1109/ACCESS.2020.30114838(134498-134513)Online publication date: 2020

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media