Browsing Institutt for informatikk by Author "Zavattaro, Gianluigi"

Now showing items 1-1 of 1

  • Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv 
    de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2019)
    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 ...