Frank S. de Boer (CWI Amsterdam, The Netherlands) |
Elena Giachino (University of Bologna, Italy) |
Stijn de Gouw (The Open University, The Netherlands) |
Reiner Hähnle (Technical University of Darmstadt, Germany) |
Einar Broch Johnsen (University of Oslo, Norway) |
Cosimo Laneve (University of Bologna, Italy) |
Ka I Pun (Western Norway University of Applied Sciences, University of Oslo, Norway) |
Gianluigi Zavattaro (University of Bologna, Italy) |
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). |
ArXived at: https://dx.doi.org/10.4204/EPTCS.302.1 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |