occiware a formal and tooled toolchain for managing everything as a service

30
A Formal and Tooled Toolchain For Managing Everything as a Service Jean Parpaillon (Inria Rennes), Philippe Merle (Inria Lille), Olivier Barais (Inria Rennes), Marc Dutoo (OpenWide), Fawaz Paraiso (Inria Lille) STAF15 - Project Showcase - L'Aquila - July 2015 1

Upload: occiware

Post on 13-Apr-2017

517 views

Category:

Technology


0 download

TRANSCRIPT

Page 1: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

AFormalandTooledToolchainForManagingEverythingasaService

JeanParpaillon(InriaRennes),PhilippeMerle(InriaLille),OlivierBarais(InriaRennes),MarcDutoo(OpenWide),FawazParaiso(InriaLille)

STAF15-ProjectShowcase-L'Aquila-July2015

1

Page 2: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

InfrastructureasaService

2

Page 3: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

PlatformasaService

3

Page 4: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

SoftwareasaService

4

Page 5: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

InfrastructureasaService

SoftwareasaService

PlatformasaService

ObjectsasaService(InternetofThings)

5

Page 6: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

EVERYTHINGISSERVICE!

6

Page 7: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

COMMONDENOMINATORS

RESTarchitecturestyle

Resourceorientedmodels

CRUDPattern

7

Page 8: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

STATEOFTHEART

LIBS/FRAMEWORKS

REST:Django,Jersey,webmachine,...

IaaS:jCloud,...

Interop:CompatibleOne,Contrail,...

MODELS

IaaS:OCCIInfrastructure,CIMI,...

PaaS:OpenTOSCA,Aeolus,Mancoosi,...

SaaS:???

->Meta-model?

8

Page 9: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

STATEOFTHEART

LIBS/FRAMEWORKS

REST:Django,Jersey,webmachine,...

IaaS:jCloud,...

Interop:CompatibleOne,Contrail,...

MODELS

IaaS:OCCIInfrastructure,CIMI,...

PaaS:OpenTOSCA,Aeolus,Mancoosi,...

SaaS:???

->Meta-model?

STANDARDS

IaaS:OGFOCCI,DMTFCIMI

PaaS:OASISTOSCA,...

SaaS:???

->Onetorulethemall?

9

Page 10: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

STATEOFTHEART

MODELS

IaaS:OCCIInfrastructure,CIMI,...

PaaS:OpenTOSCA,Aeolus,Mancoosi,...

SaaS:???

->Meta-model?

STANDARDS

IaaS:OGFOCCI,DMTFCIMI

PaaS:OASISTOSCA,...

SaaS:???

->Onetorulethemall?

10

Page 11: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

STATEOFTHEART

LIBS/FRAMEWORKS

REST:Django,Jersey,webmachine,...

IaaS:jCloud,...

Interop:CompatibleOne,Contrail,...

MODELS

IaaS:OCCIInfrastructure,CIMI,...

PaaS:OpenTOSCA,Aeolus,Mancoosi,...

SaaS:???

->Meta-model?

STANDARDS

IaaS:OGFOCCI,DMTFCIMI

PaaS:OASISTOSCA,...

SaaS:???

->Onetorulethemall?COHER

ENCE?

11

Page 12: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

kindcompute{arch:enum(x86);cores:integer;}

THINK

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

12

Page 13: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

ConnectorA

DES

IGN

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditor Simulator

A->B

Compilers Generators

A->

13

Page 14: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

EXECUTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

OCCIConnectorsRepository

Compilers Generators

USECASES DISSEMINATION

14

Page 15: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

EXECUTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DESIGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTHINK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

COMMONDENOMINATORS

RESTarchitecturestyle

Resourceorientedmodels

CRUDPattern

15

Page 16: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

USECASES

DatacenterasaServiceIaaS+monitoring+baremetal

Deploy@OCCIwareDeployment+(re)configurationinterop

BigData/HPCMiddlewaredeploymentJobscheduling

LinkedDataasaServiceOpenDataPlatform

16

Page 17: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

DISSEMINATION

OpenSourceToolsApache-styleLicense

IndependantComponentsOCCIistheGlue

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

17

Page 18: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

IndependantComponents

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

EXEC

UTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DES

IGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTH

INK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

CONSORTIUM

"A Preci se M et a- model f or Open Cl oud Comput i ng I nt erf ace", I EEE CLOUD 2015, NYC, USA

OCCIDSL-StructuralPartTextual

XML

EclipsebasedDockerDesigner

erocci+architecturedocument

OCCI Runti meKernel

authn l i steners API

authz/ACL

deployment

fault-tolerance

H TTP XMPP . . .

backend API s

H TTP/O CCI API nati ve API ( J ava. . . )

Non-func

tiona

l

D B (SQ L, N oSQ L. . . )

O penStack / EC2 / . . .

D ocker

. . .

Web Servi ces. . .

Func

tiona

lBac

kend

s

backendreposi torymanagement

CoAP

renderi ng/ parsi ng

model

checking

-erlang/OTPbased-protocols:HTTP,XM PP,...-backends:M nesiaDB,FS,...-backendsA PI :D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

18

Page 19: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

"APreciseMeta-modelforOpenCloudComputingInterface",IEEECLOUD2015,NYC,USA

19

Page 20: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

IndependantComponents

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

EXEC

UTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DES

IGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTH

INK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

CONSORTIUM

"A Preci se M et a- model f or Open Cl oud Comput i ng I nt erf ace", I EEE CLOUD 2015, NYC, USA

OCCIDSL-StructuralPartTextual

XML

EclipsebasedDockerDesigner

erocci+architecturedocument

OCCI Runti meKernel

authn l i steners API

authz/ACL

deployment

fault-tolerance

H TTP XMPP . . .

backend API s

H TTP/O CCI API nati ve API ( J ava. . . )

Non-func

tiona

l

D B (SQ L, N oSQ L. . . )

O penStack / EC2 / . . .

D ocker

. . .

Web Servi ces. . .

Func

tiona

lBac

kend

s

backendreposi torymanagement

CoAP

renderi ng/ parsi ng

model

checking

-erlang/OTPbased-protocols:HTTP,XM PP,...-backends:M nesiaDB,FS,...-backendsA PI :D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

20

Page 21: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

DSL

OCCIDSL-StructuralPartTextual

XML

21

Page 22: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

IndependantComponents

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

EXEC

UTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DES

IGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTH

INK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

CONSORTIUM

"A Preci se M et a- model f or Open Cl oud Comput i ng I nt erf ace", I EEE CLOUD 2015, NYC, USA

OCCIDSL-StructuralPartTextual

XML

EclipsebasedDockerDesigner

erocci+architecturedocument

OCCI Runti meKernel

authn l i steners API

authz/ACL

deployment

fault-tolerance

H TTP XMPP . . .

backend API s

H TTP/O CCI API nati ve API ( J ava. . . )

Non-func

tiona

l

D B (SQ L, N oSQ L. . . )

O penStack / EC2 / . . .

D ocker

. . .

Web Servi ces. . .

Func

tiona

lBac

kend

s

backendreposi torymanagement

CoAP

renderi ng/ parsi ng

model

checking

-erlang/OTPbased-protocols:HTTP,XM PP,...-backends:M nesiaDB,FS,...-backendsA PI :D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

22

Page 23: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

EclipsebasedDockerDesigner23

Page 24: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

Documentationgen

Dockercommandsgen

IndependantComponents

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

EXEC

UTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DES

IGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTH

INK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

CONSORTIUM

"A Preci se Met a-model f or Open Cl oud Comput i ng I nt erf ace", I EEE CLOUD 2015, NYC, USA

OCCIDSL-StructuralPartTextual

XML

EclipsebasedDockerDesigner

erocci+architecturedocument

OCCI Runti meKernel

authn l i steners API

authz/ACL

deployment

fault-tolerance

H TTP XMPP . . .

backend API s

H TTP/O CCI API nati ve API ( J ava. . . )

Non-func

tiona

l

D B (SQ L, N oSQ L. . . )

O penStack / EC2 / . . .

D ocker

. . .

Web Servi ces. . .

Func

tiona

lBac

kend

s

backendreposi torymanagement

CoAP

renderi ng/ parsi ng

model

checking

-erlang/OTPbased-protocols:HTTP,XMPP,...-backends:MnesiaDB,FS,...-backendsAPI :D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

24

Page 25: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

Documentationgen

Dockercommandsgen

IndependantComponents

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

EXEC

UTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DES

IGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTH

INK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

CONSORTIUM

"A Preci se Met a-model f or Open Cl oud Comput i ng I nt erf ace", I EEE CLOUD 2015, NYC, USA

OCCIDSL-StructuralPartTextual

XML

EclipsebasedDockerDesigner

erocci+architecturedocument

OCCI Runti meKernel

authn l i steners API

authz/ACL

deployment

fault-tolerance

H TTP XMPP . . .

backend API s

H TTP/O CCI API nati ve API ( J ava. . . )

Non-func

tiona

l

D B (SQ L, N oSQ L. . . )

O penStack / EC2 / . . .

D ocker

. . .

Web Servi ces. . .

Func

tiona

lBac

kend

s

backendreposi torymanagement

CoAP

renderi ng/ parsi ng

model

checking

-erlang/OTPbased-protocols:HTTP,XMPP,...-backends:MnesiaDB,FS,...-backendsAPI :D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

25

Page 26: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

erocci+architecturedocument

OCCIRuntimeKernel

authn listenersAPI

authz/ACL

deployment

fault-tolerance

HTTP XMPP ...

backendAPIs

HTTP/OCCIAPI nativeAPI(Java...)

Non-functional

DB(SQL,NoSQL...)

OpenStack/EC2/...

Docker

...

WebServices...

FunctionalBackends

backendrepository

management

CoAP

rendering/parsing

model

checkin

g-erlang/OTPbased-protocols:HTTP,XMPP,...-backends:MnesiaDB,FS,...-backendsAPI:D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

26

Page 27: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

Documentationgen

Dockercommandsgen

IndependantComponents

Lead:OW2Consortium

StrategicOrientationCommitteeMembersfromOGF,TOSCA,CompatibleOne,OpenNebula,...

EXEC

UTE

OCCIDashboard

>_

OCCIClients OCCIServers(runtime)

ConnectorA

ConnectorB

ConnectorZ

...

DES

IGN

OCCIConnectorsRepository

TextEditor

kindcompute{arch:enum(x86);cores:integer;}

GraphicalEditorTH

INK

Simulator

A->B

Compilers Generators

OCCISpecs

OCCIMeta-model

Models

ID . ID

DSL

A->

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

CONSORTIUM

"A Preci se Met a-model f or Open Cl oud Comput i ng I nt erf ace", I EEE CLOUD 2015, NYC, USA

OCCIDSL-StructuralPartTextual

XML

EclipsebasedDockerDesigner

erocci+architecturedocument

OCCI Runti meKernel

authn l i steners API

authz/ACL

deployment

fault-tolerance

H TTP XMPP . . .

backend API s

H TTP/O CCI API nati ve API ( J ava. . . )

Non-func

tiona

l

D B (SQ L, N oSQ L. . . )

O penStack / EC2 / . . .

D ocker

. . .

Web Servi ces. . .

Func

tiona

lBac

kend

s

backendreposi torymanagement

CoAP

renderi ng/ parsi ng

model

checking

-erlang/OTPbased-protocols:HTTP,XMPP,...-backends:MnesiaDB,FS,...-backendsAPI :D-Bus,erlang-pluggableauthnz

http://erocci.ow2.org

http://github.com/erocci/

[email protected]

27

Page 28: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

FACTSANDFIGURES

SelectedbyFrenchMinistryofIndustryFunding:BPI(FrenchPublicBankofInvestment)OverallBudget:5,6M€,858menxmonthsTimeline:36months,startingfromDecember201410partners11StrategicOrientationCommitteeintern'lmembers

28

Page 29: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

CONSORTIUM29

Page 30: OCCiware A Formal and Tooled Toolchain For Managing Everything as a Service

LET'SKEEPINTOUCH

http://occiware.org

http://github.com/occiware/

[email protected]

OCCIwareGroup

@occiware

W3CSVGDon'thurttheweb,usestandards

Madewith

30