Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

CHOReVOLUTION WP2 Enablers

179 views

Published on

CHOReVOLUTION Enablers, Work package 2 by Autili Marco, UDA
First Year Project Review in Brussels
11 February 2016

Published in: Software
  • Be the first to comment

  • Be the first to like this

CHOReVOLUTION WP2 Enablers

  1. 1. CHOReVOLUTION Enablers – WP2 Modeling and Synthesis Autili Marco UDA 1st Review Meeting Brussels,February 11, 2016 11/02/2016 1
  2. 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. 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. 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. 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. 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. 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. 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. 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. 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. 11. CHOReVOLUTION Studio (full integration) 11/02/2016 11
  12. 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. 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. 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. 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. 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. 17. THANK YOU 11/02/2016 17

×