Skip to Main content Skip to Navigation
Conference papers

Formal Verification of Service Level Agreements Through Distributed Monitoring

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, April 3, 2018 - 5:20:43 PM
Last modification on : Wednesday, April 4, 2018 - 9:40:16 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Behrooz Nobakht, Stijn Gouw, Frank Boer. Formal Verification of Service Level Agreements Through Distributed Monitoring. 4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩. ⟨hal-01757576⟩



Les métriques sont temporairement indisponibles