dc.contributor.author | de Boer, Frank | |
dc.contributor.author | Giachino, Elena | |
dc.contributor.author | de Gouw, Stijn | |
dc.contributor.author | Hähnle, Reiner | |
dc.contributor.author | Johnsen, Einar Broch | |
dc.contributor.author | Laneve, Cosimo | |
dc.contributor.author | Pun, Ka I | |
dc.contributor.author | Zavattaro, Gianluigi | |
dc.date.accessioned | 2020-03-16T10:47:14Z | |
dc.date.available | 2020-03-16T10:47:14Z | |
dc.date.created | 2019-10-01T17:14:22Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | 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. | en_US |
dc.identifier.issn | 2075-2180 | |
dc.identifier.uri | https://hdl.handle.net/11250/2646925 | |
dc.description.abstract | 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). | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Open Publishing Association | en_US |
dc.relation.uri | 10.4204/EPTCS.302.1 | |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | © F. de Boer et al. | en_US |
dc.source.pagenumber | 1-15 | en_US |
dc.source.volume | 302 | en_US |
dc.source.journal | Electronic Proceedings in Theoretical Computer Science | en_US |
dc.identifier.doi | 10.4204/EPTCS.302.1 | |
dc.identifier.cristin | 1732684 | |
dc.relation.project | Norges forskningsråd: 237898 | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |