CHOReVOLUTION Enablers – WP2
Modeling and Synthesis
Autili Marco
UDA
1st Review Meeting
Brussels,February 11, 2016
11/02/2016 1
Outline
11/02/2016 2
l WP description
l Rational behind (the WHY)
l Realization (the HOW)
l Offered features (the WHAT)
l WP2 enablers at work
WP2 Overview
l Duration: M1 - M30 (all tasks)
l Effort: 49 PMs
l Task 2.1: Choreography Modeling
− UDA, CEFRIEL, INRIA, THA, Softeco, Tirasa [M1-M24]
l Task 2.2: Automated CHOReVOLUTION Synthesis
− UDA, CEFRIEL, INRIA, THA, Softeco, Tirasa [M1-M30]
11/02/2016 3
WP2 Deliverables
ü D2.1: Modeling notations and dependencies with the
CHOReVOLUTION synthesis (UDA) - M10
ü D2.2: CHOReVOLUTION synthesis – first
outcomes (UDA) - M10
l D2.3: CHOReVOLUTION synthesis – intermediate outcomes
(UDA) - M22
l D2.4: CHOReVOLUTION synthesis – final outcomes (UDA) -
M30
11/02/2016 4
Choreography modelers cooperate
each other to set business goals,
e.g.,
- assisting travelers from arrival,
to staying, to departure
Modeling and Synthesis Enablers:
rational behind
11/02/2016 5
Reserve
Taxi
Find POI
Reserve
Table
Check
Flight
… ...
… ...
… ...
Identify the 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
Modeling and Synthesis Enablers:
rational behind
11/02/2016 6
Reserve
Taxi
Find POI
Reserve
Table
Check
Flight
… ...
… ...
… ...
Specify how participants must
collaborate as admissible flows
of business tasks through:
- BPMN2 Choreography
Diagrams
Modeling and Synthesis Enablers:
rational behind
Model
11/02/2016 7
The inventory contains services
and things published by
providers, e.g.,
- transportation companies
- airport retailers
that have identified business
opportunities in the domain of
interest
Reserve
Taxi
Find POI
Reserve
Table
Check
Flight
… ...
… ...
… ...
Modeling and Synthesis Enablers:
rational behind
Inventory
Model
11/02/2016 8
• Out of the specified business goal
• by (re-)using the set of services/things
available in the inventory ...
Reserve
Taxi
Find POI
Reserve
Table
Check
Flight
… ...
… ...
… ...
time Synthesis time
3
ss
er
Software
engineer
End users
CHOReOSynt
Coordination
delegates
Enactment
engine
Service providers
Model refi
nement
Model trans
formation
2
Execution time
4
1
5
1
6
Running choreography
Cloud
middleware
Publish
Register
Standard communication (I/O messages)
Additional communication (coordination informati
Registry
Services and things 1
5
n time Synthesis time
3
ss
ger
Software
engineer
End users
CHOReOSynt
Coordination
delegates
Enactment
engine
Service providers
Model refi
nement
Model trans
formation
2
Execution time
4
1
5
1
6
Running choreography
Cloud
middleware
Publish
Register
Standard communication (I/O messages)
Additional communication (coordination information)
Registry
Services and things
1
5
overview of automatic choreography synthesis, using a scenario involving the coordination of business services,
ces, and stakeholders from air transportation, customer relationship management, and intelligent transportation.
Web Services Description Language; BPEL stands for Business Process Execution Language.
Synthesis
Processor
Step 1. Software producers cooperate
with domain experts and business
managers to
• set the business goal (for exam-
ple, assist travellers from arrival,
to staying, to departure),
• identify the tasks and partici-
pants required to achieve the
goal (for example, reserving a
constructs and quality-of-service
constraints. In particular, CHOReOS
uses both the Q4BPMN notation—
an extension to BPMN2—to specify
nonfunctional properties and dedi-
cated automated tools to assess the
choreography specification’s quality.
Step 2. MagicDraw exports the mod-
eled choreography to CHOReOSynt.
Services Description Lang
w3.org/TR/wsdl). To desc
interaction behavior, BPE
Process Execution Langu
fies the flow of messages
with the environment. T
also contains the registrat
interested in exploiting t
raphy through their mobil
Design time Synthesis time
3
Business
manager
Software
engineer
End users
CHOReOSynt
Coordination
delegates
Enactment
engine
Service providers
Domain
expert
Choreography
diagram
Model refi
nement
Model trans
formation
2
1
Execution time
4
1
5
1
6
Running choreo
Cloud
middlewa
Publish
Register
Standard communication (I/O messages
Additional communication (coordination
Registry
Services and things
1
5
FIGURE 2. An overview of automatic choreography synthesis, using a scenario involving the coordination of business s
thing-based services, and stakeholders from air transportation, customer relationship management, and intelligent transp
WSDL stands for Web Services Description Language; BPEL stands for Business Process Execution Language.
Choreography
developer
Service Inventory
Model
... the CHOReVOLUTION
Synthesis Processor
automatically produces (if
possible) a choreography-
based application
achieving the goal
11/02/2016 9
SynthesisModelling
From (meta) Modeling to WP2 Enablers
BPMN2 Choreography Diagrams plus…
…additional and intermediate models
Service behaviour & identity
Service-role interface mappings
Choreography variations
Interface
interaction protocol
QoS & identity attributes
Security requirements
CDs, Adapters, Security Filters,
and BCs
Choreography Enactment,
Deployment, and Execution
Variability points per
context conditions
Eclipse Modelling Framework (EMF) metamodelsModelling Enabler
(set of visual editors)
Synthesis Enabler
(synthesis processor)
User-friendly Modelling of
choreography-basedsystems
Automatic generation of the
required software artefacts
11/02/2016 10
CHOReVOLUTION Studio
(full integration)
11/02/2016 11
CHOReVOLUTION Studio
Tool-box of integrated
frontend tools
CHOReVOLUTION-specific customization
of the Eclipse platform
Capable of interacting with the
CHOReVOLUTION backend
components through REST APIs
IDE supporting all the development
activities devised for realizing
CHOReVOLUTION systems
11/02/2016 12
Choreography ModelerService Modeler
Modelling Enabler
Choreography	
Diagram
Synthesis ProcessorInventory
Variability	
Model
Identity	
Model
Desired
QoS Model
Protocol	
Model
Interface	
Description
Identity	
Model
Offered
QoS Model
Protocol
Model
S
Interface	
Description
S
Identity	
Model
S
Offered QoS
Model
S
Identity	
Model
Choreography
Diagram
Intermediate	
Models
Desired
QoS Model
Variability
Model
11/02/2016 13
Synthesis Processor
Intermediate	
Models
Inventory
Interface	
Description
Protocol
Model
Identity	
Model
Offered QoS
Model
SS S S
Choreography
Diagram
Variability
Model
Identity	
Model
Desired
QoS Model
(model-based) Synthesis Enabler
Synthesis processor
l implements M2M and M2C transformations
l provides developers with automatic supportfor generating and
manipulating all the software artefacts that are required to
realize the choreography
11/02/2016 14
Synthesis Processor
Intermediate	
Models
Inventory
Interface	
Description
Protocol
Model
Identity	
Model
Offered QoS
Model
Selection
SS S S
Choreography
Diagram
Variability
Model
Identity	
Model
Desired
QoS Model
(model-based) Synthesis Enabler
Choreography	
Execution
Enactment Engine
Choreography
Deployment	 Model
Adapters
A
Security
Filters
SF
Cooordination
Models
CD
Binding
Components
BC
S
Selected
Services
Choreography
Deployment	
Model
Additional	Software	
Artifacts	Generation
Choreography	
Enactment
Query
CHOReVOLUTION Architectural Style
11/02/2016 15
Summing up
l Fully integrated modeling and automated synthesis tools for
dynamic choreographies
l Preliminary experimentation on WP4 and WP5 use cases
Next steps
l Automatic generation of Adapters
l Integrate BC and SF synthesis with the modeling and synthesis
enablers
l Generation of CDs as autonomous entities for supporting
choreography evolution
l Choreography monitoring
11/02/2016 16
THANK YOU
11/02/2016 17

CHOReVOLUTION WP2 Enablers

  • 1.
    CHOReVOLUTION Enablers –WP2 Modeling and Synthesis Autili Marco UDA 1st Review Meeting Brussels,February 11, 2016 11/02/2016 1
  • 2.
    Outline 11/02/2016 2 l WPdescription l Rational behind (the WHY) l Realization (the HOW) l Offered features (the WHAT) l WP2 enablers at work
  • 3.
    WP2 Overview l Duration:M1 - M30 (all tasks) l Effort: 49 PMs l Task 2.1: Choreography Modeling − UDA, CEFRIEL, INRIA, THA, Softeco, Tirasa [M1-M24] l Task 2.2: Automated CHOReVOLUTION Synthesis − UDA, CEFRIEL, INRIA, THA, Softeco, Tirasa [M1-M30] 11/02/2016 3
  • 4.
    WP2 Deliverables ü D2.1:Modeling notations and dependencies with the CHOReVOLUTION synthesis (UDA) - M10 ü D2.2: CHOReVOLUTION synthesis – first outcomes (UDA) - M10 l D2.3: CHOReVOLUTION synthesis – intermediate outcomes (UDA) - M22 l D2.4: CHOReVOLUTION synthesis – final outcomes (UDA) - M30 11/02/2016 4
  • 5.
    Choreography modelers cooperate eachother to set business goals, e.g., - assisting travelers from arrival, to staying, to departure Modeling and Synthesis Enablers: rational behind 11/02/2016 5
  • 6.
    Reserve Taxi Find POI Reserve Table Check Flight … ... …... … ... Identify the 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 Modeling and Synthesis Enablers: rational behind 11/02/2016 6
  • 7.
    Reserve Taxi Find POI Reserve Table Check Flight … ... …... … ... Specify how participants must collaborate as admissible flows of business tasks through: - BPMN2 Choreography Diagrams Modeling and Synthesis Enablers: rational behind Model 11/02/2016 7
  • 8.
    The inventory containsservices and things published by providers, e.g., - transportation companies - airport retailers that have identified business opportunities in the domain of interest Reserve Taxi Find POI Reserve Table Check Flight … ... … ... … ... Modeling and Synthesis Enablers: rational behind Inventory Model 11/02/2016 8
  • 9.
    • Out ofthe specified business goal • by (re-)using the set of services/things available in the inventory ... Reserve Taxi Find POI Reserve Table Check Flight … ... … ... … ... time Synthesis time 3 ss er Software engineer End users CHOReOSynt Coordination delegates Enactment engine Service providers Model refi nement Model trans formation 2 Execution time 4 1 5 1 6 Running choreography Cloud middleware Publish Register Standard communication (I/O messages) Additional communication (coordination informati Registry Services and things 1 5 n time Synthesis time 3 ss ger Software engineer End users CHOReOSynt Coordination delegates Enactment engine Service providers Model refi nement Model trans formation 2 Execution time 4 1 5 1 6 Running choreography Cloud middleware Publish Register Standard communication (I/O messages) Additional communication (coordination information) Registry Services and things 1 5 overview of automatic choreography synthesis, using a scenario involving the coordination of business services, ces, and stakeholders from air transportation, customer relationship management, and intelligent transportation. Web Services Description Language; BPEL stands for Business Process Execution Language. Synthesis Processor Step 1. Software producers cooperate with domain experts and business managers to • set the business goal (for exam- ple, assist travellers from arrival, to staying, to departure), • identify the tasks and partici- pants required to achieve the goal (for example, reserving a constructs and quality-of-service constraints. In particular, CHOReOS uses both the Q4BPMN notation— an extension to BPMN2—to specify nonfunctional properties and dedi- cated automated tools to assess the choreography specification’s quality. Step 2. MagicDraw exports the mod- eled choreography to CHOReOSynt. Services Description Lang w3.org/TR/wsdl). To desc interaction behavior, BPE Process Execution Langu fies the flow of messages with the environment. T also contains the registrat interested in exploiting t raphy through their mobil Design time Synthesis time 3 Business manager Software engineer End users CHOReOSynt Coordination delegates Enactment engine Service providers Domain expert Choreography diagram Model refi nement Model trans formation 2 1 Execution time 4 1 5 1 6 Running choreo Cloud middlewa Publish Register Standard communication (I/O messages Additional communication (coordination Registry Services and things 1 5 FIGURE 2. An overview of automatic choreography synthesis, using a scenario involving the coordination of business s thing-based services, and stakeholders from air transportation, customer relationship management, and intelligent transp WSDL stands for Web Services Description Language; BPEL stands for Business Process Execution Language. Choreography developer Service Inventory Model ... the CHOReVOLUTION Synthesis Processor automatically produces (if possible) a choreography- based application achieving the goal 11/02/2016 9 SynthesisModelling
  • 10.
    From (meta) Modelingto WP2 Enablers BPMN2 Choreography Diagrams plus… …additional and intermediate models Service behaviour & identity Service-role interface mappings Choreography variations Interface interaction protocol QoS & identity attributes Security requirements CDs, Adapters, Security Filters, and BCs Choreography Enactment, Deployment, and Execution Variability points per context conditions Eclipse Modelling Framework (EMF) metamodelsModelling Enabler (set of visual editors) Synthesis Enabler (synthesis processor) User-friendly Modelling of choreography-basedsystems Automatic generation of the required software artefacts 11/02/2016 10
  • 11.
  • 12.
    CHOReVOLUTION Studio Tool-box ofintegrated frontend tools CHOReVOLUTION-specific customization of the Eclipse platform Capable of interacting with the CHOReVOLUTION backend components through REST APIs IDE supporting all the development activities devised for realizing CHOReVOLUTION systems 11/02/2016 12
  • 13.
    Choreography ModelerService Modeler ModellingEnabler Choreography Diagram Synthesis ProcessorInventory Variability Model Identity Model Desired QoS Model Protocol Model Interface Description Identity Model Offered QoS Model Protocol Model S Interface Description S Identity Model S Offered QoS Model S Identity Model Choreography Diagram Intermediate Models Desired QoS Model Variability Model 11/02/2016 13
  • 14.
    Synthesis Processor Intermediate Models Inventory Interface Description Protocol Model Identity Model Offered QoS Model SSS S Choreography Diagram Variability Model Identity Model Desired QoS Model (model-based) Synthesis Enabler Synthesis processor l implements M2M and M2C transformations l provides developers with automatic supportfor generating and manipulating all the software artefacts that are required to realize the choreography 11/02/2016 14
  • 15.
    Synthesis Processor Intermediate Models Inventory Interface Description Protocol Model Identity Model Offered QoS Model Selection SSS S Choreography Diagram Variability Model Identity Model Desired QoS Model (model-based) Synthesis Enabler Choreography Execution Enactment Engine Choreography Deployment Model Adapters A Security Filters SF Cooordination Models CD Binding Components BC S Selected Services Choreography Deployment Model Additional Software Artifacts Generation Choreography Enactment Query CHOReVOLUTION Architectural Style 11/02/2016 15
  • 16.
    Summing up l Fullyintegrated modeling and automated synthesis tools for dynamic choreographies l Preliminary experimentation on WP4 and WP5 use cases Next steps l Automatic generation of Adapters l Integrate BC and SF synthesis with the modeling and synthesis enablers l Generation of CDs as autonomous entities for supporting choreography evolution l Choreography monitoring 11/02/2016 16
  • 17.