Statically and Dynamically Verifiable SLA MetricsReport as inadecuate




Statically and Dynamically Verifiable SLA Metrics - Download this document for free, or read online. Document in PDF available to download.

1 FOCUS - Foundations of Component-based Ubiquitous Systems CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria Bologna 2 DISI - Department of Computer Science and Engineering Bologna 3 CWI - Centrum Wiskunde & Informatica 4 Universiteit Leiden Leiden

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 - Stijn De Gouw - Cosimo Laneve - Behrooz Nobakht -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents