Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi
Peer reviewed, Journal article
Published version
Åpne
Permanent lenke
https://hdl.handle.net/11250/2646925Utgivelsesdato
2019Metadata
Vis full innførselSamlinger
Originalversjon
de Boer, F. S., Giachino, E., de Gouw, S., Hähnle, R., Johnsen, E. B., Laneve, C., … Zavattaro, G. (2019). Analysis of SLA compliance in the cloud: An automated, model-based approach. Electronic Proceedings in Theoretical Computer Science, 302, 1-15. 10.4204/EPTCS.302.1Sammendrag
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study. The approach is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a methodology combining software development with information technology operations (DevOps).