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 WP description
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
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

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 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

9. • 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

10. 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

11. CHOReVOLUTION Studio
(full integration)
11/02/2016 11

12. 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

13. 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

14. 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

15. 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

16. 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

17. THANK YOU
11/02/2016 17