![Approach - 1
10
Adapter Model [1]
ChoreographyDiagram
Service
Description
Gap
represented
by
[1] Marco Autili,Amleto Di Salle, Francesco Gallo, Claudio Pompilio and Massimo Tivoli. Model-driven adaptation of service choreographies. SAC 2018.](https://image.slidesharecdn.com/modcomp2018-181015125735/85/On-the-Model-driven-Synthesis-of-Adaptable-Choreographies-ModComp-MODELS-2018-10-320.jpg)
![Conclusions and future works
損Model-driven approach that combines EIPs as adaptation
primitives to achieve choreography adaptation
損Approach at work in the Smart Mobility and Tourism domain
損Extend the supported implementation technologies
損Automatically indentify the protocol mismatches to derive the
Adapter model
exploit a modified version of the Strawberry tool [1]
exploit ontological information [2]
29
[1] - Antonia Bertolino,Paola Inverardi,Patrizio Pelliccione,and MassimoTivoli.Automatic Synthesis of Behavior Protocols for Composable Web-services.
ESEC/FSE 2009.
[2] - Paola Inverardi and Massimo Tivoli.Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. ICSE 2013.](https://image.slidesharecdn.com/modcomp2018-181015125735/85/On-the-Model-driven-Synthesis-of-Adaptable-Choreographies-ModComp-MODELS-2018-29-320.jpg)
On the Model-driven Synthesis of Adaptable Choreographies [ModComp@MODELS 2018]
- 1. On the Model-driven Synthesis of Adaptable Choreographies Marco Autili,Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli University of LAquila, Italy Claudio Pompilio Ph.D. Student in Computer Science University of LAquila Email: claudio.pompilio@graduate.univaq.it
- 2. 損Title: Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet 損Follow up FP7 EU project CHOReOS 損Period: January 2015 - January 2018 損Web site: http://www.chorevolution.eu 2
- 3. Outline 損Setting the context 損Approach 損Approach at work 損Conclusions and future works 3
- 5. Service choreographies 損Choreography (fully distributed) 損Global decentralized view from a multi-participant perspective (without a central controller) 5
- 6. BPMN2 choreography diagram 6 Task in BPMN2 - atomic activity - two participant roles (one is initiating) - XML Schema used internally, e.g., for discovery purposes Parallel flow - Diverging Parallel Gateway - Converging Parallel Gateway Alternative branches - Diverging Exclusive Gateway - Converging Exclusive Gateway
- 7. Choreography realizability enforcement Automatic realizability enforcement: given a choreography specification and a set of existing services to be reused, externally coordinate and adpat their interaction so to fulfill the collaboration prescribed by the choreography specification, in a fully distributed way 7
- 8. CHOReVOLUTION synthesis process 損 Set of code generation phases 損 INPUT: choreography specification + set of services as possible candidates to play the choreogrpahy roles 損 OUTPUT: a set of software entities interposed among the services according to a predefined architectural style Coordination Delegates (CDs): coordination entities that guarantee the collaboration specified by the choreogrpahy specification Adapters (As): solve possible protocol mismatches between services and choreography roles 8
- 9. 9 Approach
- 10. Approach - 1 10 Adapter Model [1] ChoreographyDiagram Service Description Gap represented by [1] Marco Autili,Amleto Di Salle, Francesco Gallo, Claudio Pompilio and Massimo Tivoli. Model-driven adaptation of service choreographies. SAC 2018.
- 11. M2C transformation Approach - 2 11 Adapter Model ChoreographyDiagram Service Description Gap represented by Adapter Component Model M2M transformation Adapter
- 13. Adapter component transformation 損Input: Adapter model 損Output: Adapter component model 損Main Steps: parse the adapter model to detect the required adaptation scenario define the adapter channels as a chain of adapter components implementing EIPs 13
- 14. Adaptation scenarios - 1 損Adapters are connected with the Coordination Delegates (CDs) 損Adapter mediates two kinds of interactions: CD-to- Service and Service-to-CD 損Adaptation scenarios symmetric according to the mediated interaction 損Channel labelled with an EIP-based noun indicate the main EIP applied 14
- 15. Adaptation scenarios - 2 損one-to-many mapping 15
- 16. Adaptation scenarios - 3 損many-to-many mapping with reorder 16
- 17. Adaptation scenarios - 4 損many-to-many mapping with conversion 17
- 18. Adaptation scenarios - 5 損many-to-one mapping 18
- 19. EIP-based channels - 1 19 - Splitter-based channel - Aggregator-based channel
- 20. EIP-based channels - 2 20 - Message Filter-based channel - Resequencer-based channel - Message Translator-based channel
- 22. Smart Mobility and Tourism choreography 22
- 23. Approach at work - 1 23
- 24. Approach at work - 2 損Adapter model: Request messages: - Choreography message parkingRequest mapped to the services messages getParkingRequest and getParkingDirectionRequest - Response messages: - Service messages getParkingResponse and getParkingDirectionResponse mapped to the choreography message parkingResponse 損Adaptation scenario: - splitter-based inbound channel - aggregator-based outbound channel 24
- 25. Approach at work - 2 25 - Inbound channel Content Filter SplitterMessage Translator getParkingRequest getParkingDirectionsRequest parkingRequest
- 26. Approach at work - 2 26 - Outbound channel Message Filter Content Filter Aggregator Message Translator parkingResponse getParkingDirectionResponse getParkingResponse
- 27. Approach at work - 3 27
- 28. 28 Conclusions and future works
- 29. Conclusions and future works 損Model-driven approach that combines EIPs as adaptation primitives to achieve choreography adaptation 損Approach at work in the Smart Mobility and Tourism domain 損Extend the supported implementation technologies 損Automatically indentify the protocol mismatches to derive the Adapter model exploit a modified version of the Strawberry tool [1] exploit ontological information [2] 29 [1] - Antonia Bertolino,Paola Inverardi,Patrizio Pelliccione,and MassimoTivoli.Automatic Synthesis of Behavior Protocols for Composable Web-services. ESEC/FSE 2009. [2] - Paola Inverardi and Massimo Tivoli.Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. ICSE 2013.
- 30. Thank You! Any questions? Claudio Pompilio Ph.D. Student in Computer Science University of LAquila Email: claudio.pompilio@graduate.univaq.it