Electronic Proceedings in Theoretical Computer Science (Aug 2019)

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

  • Frank S. de Boer,
  • Elena Giachino,
  • Stijn de Gouw,
  • Reiner Hähnle,
  • Einar Broch Johnsen,
  • Cosimo Laneve,
  • Ka I Pun,
  • Gianluigi Zavattaro

DOI
https://doi.org/10.4204/EPTCS.302.1
Journal volume & issue
Vol. 302, no. Proc. VORTEX 2018
pp. 1 – 15

Abstract

Read online

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).