Formal Verification of Service Level Agreements Through Distributed Monitoring - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Formal Verification of Service Level Agreements Through Distributed Monitoring

(1, 2) , (2, 3) , (1, 3)
1
2
3

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.
Fichier principal
Vignette du fichier
370579_1_En_9_Chapter.pdf (394.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01757576 , version 1 (03-04-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Behrooz Nobakht, Stijn De 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⟩
54 View
103 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More