Formal Verification of Service Level Agreements Through Distributed Monitoring
Autor: | Behrooz Nobakht, Frank S. de Boer, Stijn de Gouw |
---|---|
Rok vydání: | 2015 |
Předmět: |
Service (business)
business.industry Computer science Service delivery framework Real-time computing 020207 software engineering Cloud computing 02 engineering and technology Task (project management) Service-level agreement Asynchronous communication Service level 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Software engineering business Formal verification |
Zdroj: | Service Oriented and Cloud Computing ISBN: 9783319240718 ESOCC |
DOI: | 10.1007/978-3-319-24072-5_9 |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |