Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht; Stijn de Gouw; Frank S. de Boer

doi:10.1007/978-3-319-24072-5_9

Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

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.

Original language	English
Title of host publication	Service Oriented and Cloud Computing
Subtitle of host publication	4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings
Editors	Schahram Dustdar , Frank Leymann , Massimo Villari
Publisher	Springer
Pages	125-140
Number of pages	16
ISBN (Electronic)	978-3-319-24072-5
ISBN (Print)	978-3-319-24071-8
DOIs	https://doi.org/10.1007/978-3-319-24072-5_9
Publication status	Published - 2015
Externally published	Yes
Event	4th European Conference on Service-Oriented and Cloud Computing - Taormina, Italy Duration: 15 Sep 2015 → 17 Sep 2015 http://esocc2015.unime.it/

Publication series

Series	Lecture Notes in Computer Science
Volume	9306
ISSN	0302-9743

Conference

Conference	4th European Conference on Service-Oriented and Cloud Computing
Abbreviated title	ESOCC 2015
Country	Italy
City	Taormina
Period	15/09/15 → 17/09/15
Internet address	http://esocc2015.unime.it/

Fingerprint

Cite this

Nobakht, B., Gouw, S. D., & Boer, F. S. D. (2015). Formal Verification of Service Level Agreements Through Distributed Monitoring. In S. D., F. L., & M. V. (Eds.), Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings (pp. 125-140). Springer. Lecture Notes in Computer Science, Vol.. 9306 https://doi.org/10.1007/978-3-319-24072-5_9

Nobakht, Behrooz ; Gouw, Stijn de ; Boer, Frank S. de. / Formal Verification of Service Level Agreements Through Distributed Monitoring. Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. editor / Schahram Dustdar ; Frank Leymann ; Massimo Villari. Springer, 2015. pp. 125-140 (Lecture Notes in Computer Science, Vol. 9306).

@inproceedings{ffb8b17aba6f4bfa91419576018d670d,

title = "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.",

author = "Behrooz Nobakht and Gouw, {Stijn de} and Boer, {Frank S. de}",

year = "2015",

doi = "10.1007/978-3-319-24072-5_9",

language = "English",

isbn = "978-3-319-24071-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "125--140",

editor = "{Schahram Dustdar} and {Frank Leymann} and {Massimo Villari}",

booktitle = "Service Oriented and Cloud Computing",

note = "4th European Conference on Service-Oriented and Cloud Computing, ESOCC 2015 ; Conference date: 15-09-2015 Through 17-09-2015",

url = "http://esocc2015.unime.it/",

}

Nobakht, B, Gouw, SD & Boer, FSD 2015, Formal Verification of Service Level Agreements Through Distributed Monitoring. in SD, FL & MV (eds), Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Springer, Lecture Notes in Computer Science, vol. 9306, pp. 125-140, 4th European Conference on Service-Oriented and Cloud Computing, Taormina, Italy, 15/09/15. https://doi.org/10.1007/978-3-319-24072-5_9

Formal Verification of Service Level Agreements Through Distributed Monitoring. / Nobakht, Behrooz; Gouw, Stijn de; Boer, Frank S. de.

Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. ed. / Schahram Dustdar; Frank Leymann; Massimo Villari. Springer, 2015. p. 125-140 (Lecture Notes in Computer Science, Vol. 9306).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

TY - GEN

T1 - Formal Verification of Service Level Agreements Through Distributed Monitoring

AU - Nobakht, Behrooz

AU - Gouw, Stijn de

AU - Boer, Frank S. de

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - https://link.springer.com/book/10.1007/978-3-319-24072-5

U2 - 10.1007/978-3-319-24072-5_9

DO - 10.1007/978-3-319-24072-5_9

M3 - Conference article in proceeding

SN - 978-3-319-24071-8

T3 - Lecture Notes in Computer Science

SP - 125

EP - 140

BT - Service Oriented and Cloud Computing

A2 - , Schahram Dustdar

A2 - , Frank Leymann

A2 - , Massimo Villari

PB - Springer

T2 - 4th European Conference on Service-Oriented and Cloud Computing

Y2 - 15 September 2015 through 17 September 2015

ER -

Nobakht B, Gouw SD, Boer FSD. Formal Verification of Service Level Agreements Through Distributed Monitoring. In SD, FL, MV, editors, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Springer. 2015. p. 125-140. (Lecture Notes in Computer Science, Vol. 9306). https://doi.org/10.1007/978-3-319-24072-5_9

Access to Document

10.1007/978-3-319-24072-5_9

Link to proceedings