Recommended
Recommended
More Related Content
Similar to On the Model-driven Synthesis of Adaptable Choreographies [ModComp@MODELS 2018]
Similar to On the Model-driven Synthesis of Adaptable Choreographies [ModComp@MODELS 2018] (20)
Recently uploaded
Recently uploaded (20)
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 L’Aquila, Italy Claudio Pompilio Ph.D. Student in Computer Science University of L’Aquila 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 L’Aquila Email: claudio.pompilio@graduate.univaq.it