Statically and Dynamically Verifiable SLA Metrics

There is a gap between run-time service behaviours and the contracted quality expectations with the customers that is due to the informal nature of service level agreements. We explain how to bridge the gap by formalizing service level agreements with metric functions. We therefore discuss an end-to...

Full description

Saved in:
Bibliographic Details
Published inTheory and Practice of Formal Methods Vol. 9660; pp. 211 - 225
Main Authors Giachino, Elena, de Gouw, Stijn, Laneve, Cosimo, Nobakht, Behrooz
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2016
Springer
SeriesLecture Notes in Computer Science
Subjects
Behavioural Type
Cloud Service
Computer Science
Cost Equation
Resource Configuration
Service Level Agreement
Online AccessGet full text

Cover

More Information
Summary:There is a gap between run-time service behaviours and the contracted quality expectations with the customers that is due to the informal nature of service level agreements. We explain how to bridge the gap by formalizing service level agreements with metric functions. We therefore discuss an end-to-end analysis flow that can either statically verify if a service code complies with a metric function or use run-time monitoring systems to report possible misbehaviours. In both cases, our approach provides a feedback loop to fix and improve the metrics and eventually the resource configurations of the service itself.
Bibliography:This paper is funded by the EU project FP7-610582 ENVISAGE: Engineering Virtualized Services, http://www.envisage-project.eu.
ISBN:9783319307336
3319307339
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-30734-3_15