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 proceedingConference article in proceedingAcademicpeer-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 languageEnglish
Title of host publicationService Oriented and Cloud Computing
Subtitle of host publication4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings
EditorsSchahram Dustdar , Frank Leymann , Massimo Villari
PublisherSpringer
Pages125-140
Number of pages16
ISBN (Electronic)978-3-319-24072-5
ISBN (Print)978-3-319-24071-8
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event4th European Conference on Service-Oriented and Cloud Computing - Taormina, Italy
Duration: 15 Sep 201517 Sep 2015
http://esocc2015.unime.it/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9306
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th European Conference on Service-Oriented and Cloud Computing
Abbreviated titleESOCC 2015
CountryItaly
CityTaormina
Period15/09/1517/09/15
Internet address

Fingerprint

Sustainable development
Monitoring
Availability
Chemical analysis
Formal verification
Compliance

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). (Lecture Notes in Computer Science; Vol. 9306). Springer. 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).
@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",

}

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. Lecture Notes in Computer Science, vol. 9306, Springer, 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 proceedingConference article in proceedingAcademicpeer-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

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). https://doi.org/10.1007/978-3-319-24072-5_9