1. Using A Rigorous Approach for Engineering Web Service Compositions: A Case Study Paper Presentation and Discussion Heberth Braga G. Ribeiro hbgr@cin.ufpe.br

2. http://www.rise.com.br Authors Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer at the Imperial College London (UK) Michael Hu at the Police Information Technology Organization (UK) 9/5/20152

3. Introduction The case study is taken from a national development currently underway by the Police IT Organization (PITO) in the UK The view of the project is to consolidate distributed national police services and to form a set of core processes The contribution of the study is to support a series of different police enquiry types Study of some scenarios described within the scope of interacting police enquiry types 9/5/2015http://www.rise.com.br3

4. Background A series of services requires management and coordination Implementations needs to be constructed for a series of differing scenarios Specification perspective – focus is on service interactions Is important to build the web service compositions correctly, verify the process before deployment, etc... 9/5/2015http://www.rise.com.br4

5. Background 9/5/2015http://www.rise.com.br5 An Approach to Rigorous Web Service Composition Engineering

6. Scope and Requirements Compositions consists of an orchestration of a number of web services implemented basic enquiry Core enquiry processes running on a central business process architecture 9/5/2015http://www.rise.com.br6 PITO Web Services Architecture Scope

7. Interaction Specifications 9/5/2015http://www.rise.com.br7 Interactions are added to support the steps described in the scenario The composition service in this scenario is form from a single “police enquiry” The policy enquiry composition makes a request using key search criteria Basic Message Sequence Chart(bMSC) assumes that each enquiry is performed sequentially from the central service

8. Interaction Specifications 9/5/2015http://www.rise.com.br8 Concurrency Composition Improvement

9. Implementations 9/5/2015http://www.rise.com.br9 Web Service Compositions  The process consists of a series of BPEL4WS process statements

10. Implementations Web Service Coreography  Defines a kind of policy for “rules of engagement”  The police enquiry composition interacts with other services  Adressing choreography take us back to the designer  Provides a global view of requirements for one or more scenarios 9/5/2015http://www.rise.com.br10

11. Implementations 9/5/2015http://www.rise.com.br11 Overview of Choreography Architecture in Elaborated Composition Scenario

12. Analysis and Evaluation of Approach Effort required to adress issues that arise when building for service-oriented distributed set of processes Potencial to mesure the impact of service changes, and affected compositions that interact with these services 9/5/2015http://www.rise.com.br12

13. Conclusions It is important to compose the service workflow correctly for all the services actors Verify the flow before actual implementation and deployment is undertaken Verify compensation routines between processes 9/5/2015http://www.rise.com.br13

14. The end... 9/5/2015http://www.rise.com.br14