Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement-Reference-Cited by-同舟云学术

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

Published:2017 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the International Conference on Big Data and Internet of Thing - BDIOT2017
language:
Short-container-title:

Author:

Kamel Oussama¹,Chaoui Allaoua²,Gharzouli Mohamed²

Affiliation:

1. University Constantine 3 Salah Boubnider, MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria

2. MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria

Publisher

ACM Press

Reference21 articles.

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. DOI:https://doi.org/10.1007/s13174-010-0007-6.

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. DOI:https://doi.org/10.1016/j.future.2008.12.001.

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.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach;Computer Standards & Interfaces;2021-02

2. A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT;IEEE Access;2020