chorevolution studio demo at eclipsecon europe 2016

Compose and run new services without programming experience, with Eclipse-based Studio

Amleto Di Salle

University of L’Aquila

e-mail: amleto.disalle@univaq.it

CHOReVOLUTION

• Title: Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet

• Follow up FP7 EU project CHOReOS

• Period: January 2015 - January 2018

• Site: http://www.chorevolution.eu

Outline

• Setting the context

• Development approach (high-level view)

• Synthesis process

• CHOReVOLUTION platform

• CHOReVOLUTION Studio

Service composition approaches

Orchestration (centralized) Choreography (fully distributed)

Local centralized view from the perspective of one participant

Global decentralized view from a multi-participant perspective (albeit

without a central controller)

Setting the context

Reusing existing services and things (often black-box)

Distributed composition

Support for automation is needed (time-to-market, correctness by construction,

Aiding software producers to realize, deploy, execute, and monitor choreography-based

systems by (possibly) reusing existing services

Setting the context (cont’d)

Development approach

Choreography modelers cooperate each other to set business goals, e.g.,

- assisting travelers from arrival, to staying, to departure

Development approach (cont’d)

Reserve TaxiFind POI

Reserve Table

Check Flight

… ...

Identify tasks and participants required to achieve the goal, e.g.,

- reserving a taxi from the local taxi company,

- purchasing digital tickets at the train station,

- performing transactions through services based on near field communication in a shop

Reserve TaxiFind POI

Reserve Table

Check Flight

… ...

Specify how participants must collaborate as admissible flows of the identified business tasks through:

- BPMN2 Choreography Diagrams

BPMN2 Specification - http://www.omg.org/spec/BPMN/2.0/

inventory contains services/things published by providers, e.g.,

- transportation companies

- airport retailers

ModelInventory

• Out of the specified business goal, and

• the set of services available in the inventory ...

Synthesis Processor

Choreography developer

Synthesis Processor automatically produces (if possible) a choreography-

based application achieving the specified goal

Synthesis phaseModelling phase

CHOReVOLUTION Cloud InfrastructureModel

Inventory

Synthesis Process

ChoreographySpecification

Validation

ChoreographyProjection

Selection

BCGeneration

SFGeneration

AdapterGeneration

Service/ThingDescription

Inventory

ParticipantModel(BPMN2Choreography

Diagram)

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

ChoreographyArchitectureGeneration

BCService/Thing SF A

ChoreographyDeploymentGeneration

ChoreographyArchitectureDescription

ChoreographyDeploymentDescription

OVERALL GOAL provide automatic support to the realization of choreography-based systems by realizing a synthesis process

Synthesis Process (cont’d)

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

Diagram)

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

GOAL check the choreography realizability and its enforceability by the process

Projection of "Tourist Agent" participant

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

Diagram)

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

GOAL derive a (sub-) BPMN2 Choreography Diagram that contains only the choreography flows involving the considered participant

Service/Thing specification process

Diagram)

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

InterfaceSpecification

InterfaceDescription

InteractionProtocolSpecification

InteractionProtocol

Description

QoSSpecification QoSDescription

SecuritySpecification

SecurityDescription

Inventory

GOAL querying the Service Inventory in order to select concrete services (or things) that can play the roles of the choreography participant

Diagram)

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

GOAL generate BCs when the interaction style (e.g., REST) of a selected service (or thing) is different from SOAP

CD1 CD2

BC1 BC2

Diagram)

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

GOAL generate SFs to filter the services interactions according to the specified security requirements (e.g., different authentication & authorization attributes)

CD1 CD2

BC1 BC2

SF1 SF2

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

Diagram)

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

GOAL generate adapters that bridge the gap between the abstract interface and concrete interface of a selected service (or thing)

BC1 BC2

SF1 SF2

CD1 CD2

Validation

Selection

BCGeneration

SFGeneration

AdapterGeneration

Inventory

Diagram)

CDGeneration

BPMN2Choreography

Diagram

MessagesXMLSchema

GOAL generate CDs that coordinate the interactions among the selected services (or things) in order to fulfill the global collaboration prescribed by the choreography specification, in a fully distributed way

BC1 BC2

SF1 SF2

CD1 CD2

Architectural description of the use case

GOAL generate an architectural description of the choreographed system

Choreography Deployment Description of the use case

GOAL generate the Choreography Deployment Description

CHOReVOLUTION platformCHOReVOLUTION Front-end provides

CHOReVOLUTION Studio • design a choreography with BPMN2

• drive the generation of additional artifacts exploiting the Synthesis Processor

CHOReVOLUTION Console • manage running services and choreographies

• monitor the execution of a choreography

• monitor the execution of a cloud

CHOReVOLUTION platformCHOReVOLUTION Back-end provides

• Generation of the Concrete Choreography specification and all the required BCs, Ads, CDs, SFs (Synthesis Processor)

• Deployment, configuration and control of BCs, Ads, CDs, SFs on the CHOReVOLUTION cloud infrastructure (Enactment Engine)

• Management of authentication and authorization for services at run-time that uses different security mechanisms at protocol level (Identity Manager)

• Propagation/synchronizion of service/user profiles to/from external resources and provision of managed services (Federation Server)

CHOReVOLUTION platformExecution time, for each choreography, in the CHOReVOLUTION cloud, there are

• A set of choreography instances at different execution states

• A set of virtual machines executing a custom-tailored mix of services and middleware components to serve different parts of the choreography

CHOReVOLUTION Studio

References• Web Site

http://www.chorevolution.eu

• Twitter https://twitter.com/CHOR_eVOLUTION

• Source Code (GIT repositories) https://goo.gl/kQUXgk

• OW2 JIRA https://goo.gl/9FxVSj

That’s all folks

chorevolution studio demo at eclipsecon europe 2016

Software

eclipsecon 2009: tml tutorial exercises

modisco poster eclipsecon 2009

eclipsecon europe 2011

mtj eclipsecon

eclipsecon na2016 report

eclipsecon 2009 swordfish

chorevolution smt use case v1.3

chorevolution wp3 enablers

embrace java8 - eclipsecon 2020 › ... ›...

chorevolution exploitation dissemination and market take-up

chorevolution technical introduction

chorevolution enactment engine demo at poss 2016

chorevolution studio poss demo

infinite possibilities - eclipsecon 2015

puppet: eclipsecon alm 2013

chorevolution at gssi april-2017

emf facet eclipsecon 2011 audition

chorevolution project to facilitate cross-organization...

eclipsecon - france, 24 jun2015

chorevolution platform at open cloud forum paris 2017