Statically and Dynamically Verifiable SLA Metrics

Elena Giachino*, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationTheory and Practice of Formal Methods
Subtitle of host publicationEssays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
EditorsErika Ábrahám , Marcello Bonsangue , Einar Broch Johnsen
PublisherSpringer
Pages211-225
Number of pages15
ISBN (Electronic)978-3-319-30734-3
ISBN (Print)978-3-319-30733-6
DOIs
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9660
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameTheoretical Computer Science and General Issues
PublisherSpringer
Volume9660

Fingerprint

Feedback
Monitoring

Cite this

Giachino, E., Gouw, S. D., Laneve, C., & Nobakht, B. (2016). Statically and Dynamically Verifiable SLA Metrics. In E. Á., M. B., & E. B. J. (Eds.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (pp. 211-225). (Lecture Notes in Computer Science; Vol. 9660), (Theoretical Computer Science and General Issues; Vol. 9660). Springer. https://doi.org/10.1007/978-3-319-30734-3_15
Giachino, Elena ; Gouw, Stijn de ; Laneve, Cosimo ; Nobakht, Behrooz. / Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. editor / Erika Ábrahám ; Marcello Bonsangue ; Einar Broch Johnsen. Springer, 2016. pp. 211-225 (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues).
@inbook{5ec43e6f29324a938ad8ea5441bbb71a,
title = "Statically and Dynamically Verifiable SLA Metrics",
abstract = "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.",
author = "Elena Giachino and Gouw, {Stijn de} and Cosimo Laneve and Behrooz Nobakht",
year = "2016",
doi = "10.1007/978-3-319-30734-3_15",
language = "English",
isbn = "978-3-319-30733-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "211--225",
editor = "{Erika {\'A}brah{\'a}m} and {Marcello Bonsangue} and {Einar Broch Johnsen}",
booktitle = "Theory and Practice of Formal Methods",

}

Giachino, E, Gouw, SD, Laneve, C & Nobakht, B 2016, Statically and Dynamically Verifiable SLA Metrics. in EÁ, MB & EBJ (eds), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 9660, Theoretical Computer Science and General Issues, vol. 9660, Springer, pp. 211-225. https://doi.org/10.1007/978-3-319-30734-3_15

Statically and Dynamically Verifiable SLA Metrics. / Giachino, Elena; Gouw, Stijn de; Laneve, Cosimo; Nobakht, Behrooz.

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. ed. / Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Springer, 2016. p. 211-225 (Lecture Notes in Computer Science; Vol. 9660), (Theoretical Computer Science and General Issues; Vol. 9660).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Statically and Dynamically Verifiable SLA Metrics

AU - Giachino, Elena

AU - Gouw, Stijn de

AU - Laneve, Cosimo

AU - Nobakht, Behrooz

PY - 2016

Y1 - 2016

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

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

UR - https://link.springer.com/book/10.1007/978-3-319-30734-3

U2 - 10.1007/978-3-319-30734-3_15

DO - 10.1007/978-3-319-30734-3_15

M3 - Chapter

SN - 978-3-319-30733-6

T3 - Lecture Notes in Computer Science

SP - 211

EP - 225

BT - Theory and Practice of Formal Methods

A2 - , Erika Ábrahám

A2 - , Marcello Bonsangue

A2 - , Einar Broch Johnsen

PB - Springer

ER -

Giachino E, Gouw SD, Laneve C, Nobakht B. Statically and Dynamically Verifiable SLA Metrics. In EÁ, MB, EBJ, editors, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer. 2016. p. 211-225. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues). https://doi.org/10.1007/978-3-319-30734-3_15