Font Size: a A A

Formal modeling and dynamic verification of service level agreements in cloud computing

Posted on:2014-08-30Degree:Ph.DType:Dissertation
University:New Mexico State UniversityCandidate:Al-Ghuwairi, Abdel-Rahman FFull Text:PDF
GTID:1458390005491827Subject:Computer Science
Abstract/Summary:
A Service Level Agreement (SLA) defines the contract between a cloud provider and a cloud customer, detailing the resources being provided, the price the user will pay, and the Quality of Service (QoS) guarantees that the cloud provider ensures for the customer. If the QoS guarantees are not upheld, typically the cloud provider is assessed some penalties, such as a payment credit for the customer. Monitoring and enforcing the SLA is an area of open research, and in this research we present the foundations towards a full realization of an SLA monitoring infrastructure. We proposed a formal model that can precisely describe both the SLA QoS guarantees and the penalties assessed for violation. Also, we implemented the proposed model as a dynamic SLA monitoring infrastructure system which is used for automatic SLA enforcement efficiently. Our SLA monitoring system can be deployed in any cloud environment and it can be used to monitor any type of QoS parameters. The performance and efficiency of the proposed SLA framework was measured and proved that our SLA model is efficient and reliable.
Keywords/Search Tags:SLA, Cloud, Service, Model
Related items