Logo eprints

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing

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)

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Identification Number: 10.1109/UCC.2014.53
Uncontrolled 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
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 30 Nov 2015 15:16
Last Modified: 30 Nov 2015 15:16
URI: http://eprints.imtlucca.it/id/eprint/2941

Actions (login required)

Edit Item Edit Item