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


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
Number of pages16
ISBN (Electronic)978-3-319-24072-5
ISBN (Print)978-3-319-24071-8
Publication statusPublished - 2015
Externally publishedYes
Event4th European Conference on Service-Oriented and Cloud Computing - Taormina, Italy
Duration: 15 Sep 201517 Sep 2015

Publication series

SeriesLecture Notes in Computer Science


Conference4th European Conference on Service-Oriented and Cloud Computing
Abbreviated titleESOCC 2015
Internet address


Dive into the research topics of 'Formal Verification of Service Level Agreements Through Distributed Monitoring'. Together they form a unique fingerprint.

Cite this