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 metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01757576
Contributor : Hal Ifip <>
Submitted on : Tuesday, April 3, 2018 - 5:20:43 PM
Last modification on : Wednesday, April 4, 2018 - 9:40:16 AM

File

370579_1_En_9_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

129

Files downloads

263