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

13 downloads 26113 Views 2MB Size Report
Language for Cloud Computing. Rafael B. Uriarte ... 1 SLA and the Clouds. 2 SLAC Language. 3 Business Extension. 4 SLAC Implementation. 5 Conclusions.
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

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

2/18

Services in the Cloud

I

Handing over the “Problem”

I

Guarantee!

SLA and the Clouds

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

3/18

Service-Level-Agreement (SLA)

I

Contract

I

Description

I

Quality-of-Service

I

Formalism

SLA and the Clouds

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

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

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

5/18

SLAC Language

SLAC Language

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

6/18

SLA for Cloud Computing - SLAC

I

Domain Specific

I

Multi-Party

I

Deployment Models

I

Formalism

I

Simplicity

SLAC Language

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

7/18

Example

SLAC Language

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

8/18

SLAC Semantics

I

JSLAK = Constraint Solving Problem

SLAC Language

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

9/18

Business Extension

Business Extension

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

10/18

Business Aspects

I

Business Actions

I

Flat and Variable Models

I

Pricing Schemes

Business Extension

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

11/18

SLAC Implementation

SLAC Implementation

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

12/18

SLA Evaluation Framework

SLAC Implementation

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

13/18

Experiments

I

Proof-of-Concept Implementation

I

Experiments to Test the Feasibility

SLAC Implementation

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

14/18

Conclusions

Conclusions

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

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

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

16/18

Future Works

I

PaaS and SaaS

I

Dynamic SLAs

I

Autonomic Cloud Use Case

Conclusions

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

17/18

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

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

18/18