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

SeriesLecture Notes in Computer Science
Volume9306
ISSN0302-9743

Conference

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

Fingerprint Dive into the research topics of 'Formal Verification of Service Level Agreements Through Distributed Monitoring'. Together they form a unique 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