Paper 3

A Client-Centric Model For Managing Availability and Performance Conditions of Service Level Agreements in Cloud Computing

Authors: Mariam Rady

Volume 30 (2016)

Abstract

In this paper we present an SLA Management System. The first step was to compile a list of non-functional requirements that can be included in the SLA. These were presented using a formal definition of SLA conditions using OWL, which is based on the description logic SROIQ(D). Availability and performance conditions were measured and represented on the basis of probability distributions in the service contracts, which gives a more precise definition of the quality of the system in the SLA. After having defined the different conditions of the SLA we present an algorithm to establish and instantiate the agreement between the client and the providers. For this algorithm we constructed correctness proofs. And finally a monitoring approach is presented that corresponds to the definition of the SLA conditions.