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

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing Rafael B. Uriarte, Francesco Tiezzi and Rocco De Nicola [email protected] 7th IEEE/ACM UCC - December 10, 2014 - London, UK

Contents

1 SLA and the Clouds 2 SLAC Language 3 Business Extension 4 SLAC Implementation 5 Conclusions

Rafael B. Uriarte, Francesco Tiezzi, and Rocco De Nicola

1/18

SLA and the Clouds

SLA and the Clouds


2/18

Services in the Cloud

I

Handing over the “Problem”

I

Guarantee!

SLA and the Clouds


3/18

Service-Level-Agreement (SLA)

I

Contract

I

Description

I

Quality-of-Service

I

Formalism

SLA and the Clouds


4/18

Formal Business General

Yet Another SLA Definition Language?

Features

WSOL

WSLA

SLAng

WSA

SLA*

Deployment Models

Broker Support

-

-

-

-

-

Pricing Schemes

-

Semantics

-

-

-

-

“” feature covered “” feature partially covered “-” no support

SLA and the Clouds


5/18

SLAC Language

SLAC Language


6/18

SLA for Cloud Computing - SLAC

I

Domain Specific

I

Multi-Party

I

Deployment Models

I

Formalism

I

Simplicity

SLAC Language


7/18

Example

SLAC Language


8/18

SLAC Semantics

I

JSLAK = Constraint Solving Problem

SLAC Language


9/18

Business Extension

Business Extension


10/18

Business Aspects

I

Business Actions

I

Flat and Variable Models

I

Pricing Schemes

Business Extension


11/18

SLAC Implementation

SLAC Implementation


12/18

SLA Evaluation Framework

SLAC Implementation


13/18

Experiments

I

Proof-of-Concept Implementation

I

Experiments to Test the Feasibility

SLAC Implementation


14/18

Conclusions

Conclusions


15/18

Message

I

SLA is essential - NO Terms and Conditions!

I

Many Gaps in the Existing Solutions

I

SLA Definition Language for Clouds

Conclusions


16/18

Future Works

I

PaaS and SaaS

I

Dynamic SLAs

I

Autonomic Cloud Use Case

Conclusions


17/18

Project Page http://sysma.imtlucca.it/tools/slac/ Conclusions


18/18