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

SeriesLecture Notes in Computer Science
Volume9660
ISSN0302-9743
SeriesTheoretical Computer Science and General Issues
Volume9660

Fingerprint Dive into the research topics of 'Statically and Dynamically Verifiable SLA Metrics'. Together they form a unique fingerprint.

  • 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). Springer. Lecture Notes in Computer Science, Vol.. 9660, Theoretical Computer Science and General Issues, Vol.. 9660 https://doi.org/10.1007/978-3-319-30734-3_15