%0 Conference Proceedings
%T Formal Verification of Service Level Agreements Through Distributed Monitoring
%+ Universiteit Leiden = Leiden University 
%+ SDL Fredhopper
%+ Centrum voor Wiskunde en Informatica (CWI)
%A Nobakht, Behrooz
%A Gouw, Stijn, De
%A Boer, Frank
%Z Part 1: Research Track
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th European Conference on Service-Oriented and Cloud Computing (ESOCC)
%C Taormina, Italy
%Y Schahram Dustdar
%Y Frank Leymann
%Y Massimo Villari
%I Springer International Publishing
%3 Service Oriented and Cloud Computing
%V LNCS-9306
%P 125-140
%8 2015-09-15
%D 2015
%R 10.1007/978-3-319-24072-5_9
%K Runtime monitoring
%K Service availability
%K Budget compliance
%K Service sustainability
%K Distributed architecture
%K Cloud computing
%K Service Level Agreement
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01757576/document
%2 https://inria.hal.science/hal-01757576/file/370579_1_En_9_Chapter.pdf
%L hal-01757576
%U https://inria.hal.science/hal-01757576
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-ESOCC
%~ IFIP-TC2
%~ IFIP-LNCS-9306