Abstract
| 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 |
Fingerprint
Cite this
}
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 proceeding › Conference article in proceeding › Academic › peer-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 -