Download as PDF, PPTX
![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](https://image.slidesharecdn.com/chorevolutionr103wp2enablersv1-160212134436/85/CHOReVOLUTION-WP2-Enablers-3-320.jpg)
Uploaded byCHOReVOLUTION
CHOReVOLUTION WP2 Enablers
The document outlines the objectives and tasks of the Chorevolution WP2 project, focused on choreography modeling and synthesis. It describes deliverables, collaboration among service providers, and the tools used for automatic choreography synthesis to assist users in achieving business goals. The concluding section summarizes progress and future steps in integrating and automating related processes.
![Model-driven adaptation of service choreographies [SAC 2018]](https://cdn.slidesharecdn.com/ss_thumbnails/satta-2018-181015132306-thumbnail.jpg?width=640&height=640&fit=bounds)
![On the Model-driven Synthesis of Adaptable Choreographies [ModComp@MODELS 2018]](https://cdn.slidesharecdn.com/ss_thumbnails/modcomp2018-181015125735-thumbnail.jpg?width=640&height=640&fit=bounds)
![Lect 1 Number systems and base conversions. [Autosaved].pptx](https://cdn.slidesharecdn.com/ss_thumbnails/lect1numbersystemsandbaseconversions-260111134109-67c2d865-thumbnail.jpg?width=640&height=640&fit=bounds)
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.