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).
Workshop on Verification of Objects at RunTime EXecution
Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

de Boer, F.S, Giachino, E, de Gouw, C.P.T, Hähnle, R, Johnsen, E.B, Laneve, C, … Zavattaro, G. (2018). Analysis of SLA compliance in the cloud: An automated, model-based approach. In Electronic Proceedings in Theoretical Computer Science, EPTCS (pp. 1–15). doi:10.4204/EPTCS.302.1