Authors:
Lucia De Marco
1
;
Filomena Ferrucci
2
and
M-Tahar Kechadi
3
Affiliations:
1
University College Dublin and University of Salerno, Ireland
;
2
University of Salerno, Italy
;
3
University College Dublin, Ireland
Keyword(s):
Service Level Agreement, SLA Management, Cloud Services Logs, SLA Formal Model.
Related
Ontology
Subjects/Areas/Topics:
Cloud Applications Performance and Monitoring
;
Cloud Computing
;
Cloud Computing Enabling Technology
;
Monitoring of Services, Quality of Service, Service Level Agreements
;
Platforms and Applications
;
Service Monitoring and Control
;
Services Science
;
Services Security and Reliability
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.