SLAFM - A Service Level Agreement Formal Model for Cloud Computing

Lucia De Marco, Filomena Ferrucci, M-Tahar Kechadi

2015

Abstract

Cloud Computing services are regulated by a contract called Service Level Agreement (SLA). It is co-signed between the customers and the providers after a negotiation phase, and during their validity time several constraints have to be respected by the involved parties. Due to their popularity, cloud services are enormously used and unfortunately also abused, specially by cyber-criminals. Sometimes the crimes have the consequence of violating some contractual constraints without the parties are aware of. A manner for guaranteeing more control of the SLA respect is to consider a dedicated system interacting with the cloud services and detecting the SLA violations by analysing the log files. We introduce a formal model aimed to represent the contents of such SLAs necessary in the context of an automatic mechanism for detecting SLA violations.

References

  1. Amazon Simple Storage Service (S3), [online] http://aws.amazon.com/s3/sla/, accessed on 22/02/2015.
  2. Baset, S.A., 2012. Cloud SLAs: present and future. ACM SIGOPS Operating Systems Review, vol. 46, no. 2, pp.
  3. Ben-Ari, M., 1993. Mathematical Logic for Computer Science, SPRINGER, first edition.
  4. Brandic, I., Emeakaroha, V.C., Maurer, M., Dustdar, S., Acs, S., Kertesz, A., Kecskemeti, G., 2010. LAYSI: A Layered Approach for SLA-Violation Propagation in Self-Manageable Cloud Infrastructures, COMPSACW Workshop, 2010, pp.365 - 370, IEEE.
  5. Cedillo, P., Gonzalez-Huerta, J., Abrahao, S., Insfran, E., 2014. Towards Monitoring Cloud Services Using Models@run.time, International Workshop on Models at run.time, to appear.
  6. CSA, 2013. Mapping the Forensic Standard ISO IEC 27037 to Cloud Computing, Cloud Security Alliance, [online] https://cloudsecurityalliance.org/download/ mapping-the-forensic-standard-isoiec-27037 -tocloud-computing/
  7. Czajkowski, K., Foster, I., Kesselman, C., Sander, V., Tuecke, S., 2002. SNAP: A Protocol for Negotiating Service Level Agreements and Coordinating Resource Management in Distributed Systems, Job scheduling strategies for parallel processing, Springer Berlin Heidelberg, pp. 153-183.
  8. De Marco, L., Abdalla, S., Ferrucci, F., Kechadi, MT., 2014. Formalization of SLAs for Cloud Forensic Readiness, Proc. ICCSM Conference, Academic Conferences and Publishing International Limited, Reading, UK, Dr. Barbara Endicott-Popovsky University of Washington, Seattle, USA Edition, pp. 42 - 50.
  9. Emeakaroha, V.C., Calheiros, R.N., Netto, M.A., Brandic, I., De Rose, C.A., 2010. DeSVi: An Architecture for Detecting SLA Violations in Cloud Computing Infrastructures, ICST Cloud Comp Conference.
  10. Emeakaroha, V.C., Ferreto, T.C., Netto, M.A.S., Brandic, I., De Rose, C.A.F., 2012. CASViD: Application Level Monitoring for SLA Violation Detection in Clouds, IEEE COMPSAC Conference, pp. 499 - 508.
  11. Emeakaroha, V.C., Netto, M.A., Calheiros, R.N., Brandic, I., Buyya, R., De Rose, C.A., 2012. Towards Autonomic Detection of SLA Violations in Cloud Infrastructures, Future Generation Computer Systems, vol. 28, issue 7, pp. 1017-1029.
  12. Ghosh, N., Ghosh, S.K., 2012. An Approach to Identify and Monitor SLA Parameters for Storage-as-a-Service Cloud Delivery Model, GC Wkshps, pp. 724-729.
  13. Ishakian, V., Lapets, A., Bestavros, A., Kfoury, A., 2011. Formal Verification of SLA Transformations, IEEE World Congress on Services, pp. 540-547.
  14. Larson, K. D., The role of service level agreements in IT service delivery, Information Management & Computer Security, vol. 6, issue 3, pp. 128-132, 1998.
  15. Liu, F., Tong, J., Mao, J., Bohn, R., Messina, J., Badger, L., Leaf, D., 2011. NIST cloud computing reference architecture, NIST special publication, 500, 292.
  16. Maurer, M., Brandic, I., Sakellariou, R., 2012. SelfAdaptive and Resource-Efficient SLA Enactment for Cloud Computing Infrastructures, IEEE CLOUD Conference, pp. 368 - 375.
  17. Mell, P., Grance, T., 2011. Final Version of NIST Cloud Computing Definition, [online], http://csrc.nist.gov/publications/nistpubs/800- 145/SP800-145.pdf
  18. Morshedlou, H., Meybodi, M.R., 2014. Decreasing Impact of SLA Violations: A Proactive Resource Allocation Approach for Cloud Computing Environments, IEEE Transactions on Cloud Computing, vol.2, no.2, pp. 156-167.
  19. Muller, C., Oriol, M., Franch, X., Marco, J., Resinas, M., Ruiz-Corts, A., Rodriguez, M., 2014. Comprehensive explanation of SLA violations at runtime. IEEE Transactions on Services Computing, vol. 7, issue 2, pp. 168-183.
  20. Paschke, A., Bichler, M., 2008. Knowledge Representation Concepts for Automated SLA Management, Decision Support Systems, vol. 46, issue 1, pp. 187-205.
  21. Patel, P., Ranabahu, A.H., Sheth, A.P., 2009. Service Level Agreement in Cloud Computing, [online], http://corescholar.libraries.wright.edu/knoesis/78
  22. Rumbaugh, J., Jacobson, I., Booch, G. 2004. Unified Modeling Language Reference Manual, The. Pearson Higher Education.
  23. Skene, J., Skene, A., Crampton, J., Emmerich, W., 2007. The Monitorability of Service-Level Agreements for Application-Service Provision, Proc. International Workshop on Software and Performance, pp. 3-14.
  24. Unger, T., Leymann, F., Mauchart, S., Scheibler, T., 2008. Aggregation of Service Level Agreements in the Context of Business Processes, Proc. ICEDOC Conference, pp. 43-52.
Download


Paper Citation


in Harvard Style

De Marco L., Ferrucci F. and Kechadi M. (2015). SLAFM - A Service Level Agreement Formal Model for Cloud Computing . In Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-104-5, pages 521-528. DOI: 10.5220/0005451805210528


in Bibtex Style

@conference{closer15,
author={Lucia De Marco and Filomena Ferrucci and M-Tahar Kechadi},
title={SLAFM - A Service Level Agreement Formal Model for Cloud Computing},
booktitle={Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2015},
pages={521-528},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005451805210528},
isbn={978-989-758-104-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - SLAFM - A Service Level Agreement Formal Model for Cloud Computing
SN - 978-989-758-104-5
AU - De Marco L.
AU - Ferrucci F.
AU - Kechadi M.
PY - 2015
SP - 521
EP - 528
DO - 10.5220/0005451805210528