Formal Verification of Service Level Agreements Through Distributed Monitoring.
Behrooz NobakhtStijn de GouwFrank S. de BoerPublished in: ESOCC (2015)
Keyphrases
- formal verification
- service level agreements
- model checking
- service level
- cloud computing
- grid services
- distributed systems
- automated verification
- model checker
- service providers
- symbolic model checking
- quality of service
- service oriented
- bounded model checking
- multi agent
- distributed environment
- cost effective
- load balancing
- computer networks
- database
- mobile agents
- operating system
- peer to peer
- decision making
- real time