Formal Verification of Service Level Agreements Through Distributed Monitoring

In this paper, we introduce a formal model of the availability, budget compliance and sustainability of istributed services, where service sustainability is a new concept which arises as the composition of service availability and budget compliance. The model formalizes a distributed platform for mo...

Full description

Saved in:
Bibliographic Details
Published inService Oriented and Cloud Computing pp. 125 - 140
Main Authors Nobakht, Behrooz, de Gouw, Stijn, de Boer, Frank S.
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Budget compliance
Cloud computing
Distributed architecture
Runtime monitoring
Service availability
Service Level Agreement
Service sustainability
Online AccessGet full text

Cover

More Information
Summary:In this paper, we introduce a formal model of the availability, budget compliance and sustainability of istributed services, where service sustainability is a new concept which arises as the composition of service availability and budget compliance. The model formalizes a distributed platform for monitoring the above service characteristics in terms of a parallel composition of task automata, where dynamically generated tasks model asynchronous events with deadlines. The main result of this paper is a formal model to optimize and reason about service characteristics through monitoring. In particular, we use schedulability analysis of the underlying timed automata to optimize and guarantee service sustainability.
Bibliography:This paper is funded by the EU project FP7-610582 ENVISAGE: Engineering Virtualized Services, http://www.envisage-project.eu.
ISBN:3319240714
9783319240718
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-24072-5_9