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