relation: http://eprints.imtlucca.it/2941/
title: SLAC: A Formal Service-Level-Agreement Language for Cloud Computing
creator: Uriarte, Rafael B.
creator: Tiezzi, Francesco
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: The need of mechanisms to automate and regulate the interaction amongst the parties involved in the offered cloud services is exacerbated by the increasing number of providers and solutions that enable the cloud paradigm. This regulation needs to be defined through a contract, the so-called Service Level Agreement (SLA). We argue that the current solutions for SLA specification cannot cope with the distinctive characteristics of clouds. Therefore, in this paper we define a language, named SLAC, devised for specifying SLA for the cloud computing domain. The main differences with respect to the existing specification languages are: SLAC is domain specific, its semantics are formally defined in order to avoid ambiguity, it supports the main cloud deployment models, and it enables the specification of multi-party agreements. Moreover, SLAC supports the business aspects of the domain, such as pricing schemes, business actions and metrics. Furthermore, SLAC comes with an open-source software framework which enables the specification, evaluation and enforcement of SLAs for clouds. We illustrate potentialities and effectiveness of the SLAC language and its management framework by experimenting with an Open Nebula cloud system.
publisher: IEEE
date: 2014-12
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco  SLAC: A Formal Service-Level-Agreement Language for Cloud Computing.  In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426.  ISBN 978-1-4799-7881-6.      (2014)  
relation: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7027520
relation: 10.1109/UCC.2014.53