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.

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