eprintid: 2941
rev_number: 5
eprint_status: archive
userid: 69
dir: disk0/00/00/29/41
datestamp: 2015-11-30 15:16:11
lastmod: 2015-11-30 15:16:11
status_changed: 2015-11-30 15:16:11
type: conference_item
metadata_visibility: show
creators_name: Uriarte, Rafael B.
creators_name: Tiezzi, Francesco
creators_name: De Nicola, Rocco
creators_id: 
creators_id: 
creators_id: r.denicola@imtlucca.it
title: SLAC: A Formal Service-Level-Agreement Language for Cloud Computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
pres_type: paper
keywords: cloud computing;contracts;public domain software;OpenNebula cloud system;SLAC;open-source software framework;service-level-agreement language for cloud computing;Measurement;Monitoring;Pricing;Random access memory;Semantics;Syntactics;Cloud Computing;Constraint satisfaction problems;Formal Languages;Service Level Agreement
abstract: 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.
date: 2014-12
date_type: published
publisher: IEEE
pagerange: 419-426
event_title: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014
event_location: London
event_dates: 8-11 December, 2014
event_type: conference
id_number: 10.1109/UCC.2014.53
refereed: TRUE
isbn: 978-1-4799-7881-6
book_title: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014
official_url: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7027520
citation:   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)