<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "SLAC: A Formal Service-Level-Agreement Language for Cloud Computing"^^ . "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."^^ . "2014-12" . . "IEEE"^^ . . "IEEE"^^ . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Rafael B."^^ . "Uriarte"^^ . "Rafael B. Uriarte"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . . . "IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014"^^ . . . . . "London"^^ . . . . . "HTML Summary of #2941 \n\nSLAC: A Formal Service-Level-Agreement Language for Cloud Computing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .