1 / 23

A Tool for the Design and Verification of Composite Web Services

A Tool for the Design and Verification of Composite Web Services. María Emilia Cambronero, Gregorio Díaz, Valentín Valero and Enrique Martínez Universidad de Castilla-La Mancha. SPAIN FLACOS 2008. Introduction

ossie
Download Presentation

A Tool for the Design and Verification of Composite Web Services

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. A Tool for the Design and Verification of Composite Web Services María Emilia Cambronero, Gregorio Díaz, Valentín Valero and Enrique Martínez Universidad de Castilla-La Mancha. SPAIN FLACOS 2008

  2. Introduction • Web Services Translation tool (WST) • Case Study • Conclusion and Future Work

  3. Introduction Credit Card Car Rental Internet Travel Agent Hotels Airlines Little effort has been dedicated to systematically design and analyze web services systems. The use of formal techniques bring rigour and consistency to system specification and implementation.

  4. Introduction Credit Card Car Rental Internet Travel Agent Hotels Airlines Web Services Coordination and timed restrictions analysis must be enforced in Web Services. The TravelAgent always cancels the reservation on the traveler’s demand. The airline always keeps the reservation 24 hours before the payment.

  5. Introduction Choreography Description Language WS-CDL Business Process Language WS-BPEL UDDI WSDL SOAP XML,Encodings HTTP,SMTP, JMS Web Services: SET OF PROTOCOLS & STANDARS

  6. Introduction WS-BPEL WS-BPEL Credit Card Car Rental WS-BPEL Internet Travel Agent WS-BPEL WS-BPEL Hotels Airlines WS-CDL

  7. Introduction • Web Services Translation tool (WST) • Case Study • Conclusion and Future Work

  8. WST tool (Done) Sequence Diagrams RT-UML XMI (Done) Under development XSLT XSLT Choreography Layer WS-CDL XML Orchestration Layer WS-BPEL XML TIMEDAUTOMATA XSLT XSLT (Done) • Time Restrictions • Model Checking Engine

  9. WST tool

  10. WST tool Execution of translation process WS-CDL documents generation

  11. WST tool - Save WS-CDL - Save Timed Automata Execute the translation process • - Open XMI file • Open WS-CDL file • Save XMI file • Save WS-CDL • Exit TA documents generation UPPAAL Tool

  12. Introduction • Web Services Translation tool (WST) • Case Study • Conclusion and Future Work

  13. Case Study: Internet Purchase Site

  14. Case Study:

  15. Case Study: Internet Purchase Site

  16. Case Study: Internet Purchase Site

  17. Case Study: Internet Purchase Site XSLT (XML Stylesheets Language) for Transforming XML documents into other XML Documents.

  18. Case Study: Internet Purchase Site

  19. Case Study: Internet Purchase Site

  20. Introduction • Web Services Translation tool (WST) • Case Study • Conclusion and Future Work

  21. Conclusions WST as a tool to support Web Services designs with time restrictions. The starting point are UML 2.0 sequence diagrams. After modelling the sequence diagrams, they can be translated into Web Services descriptions. Finally, the descriptions will be translated into a formal specification supported by a model checking engine. This engine allows developers to validate the design of the Web Services.

  22. Future Work (To develop) Sequence Diagrams RT-UML XMI XSLT XSLT Orchestration Layer WS-BPEL XML TA XSLT

  23. A Tool for the Design and Verification of Composite Web Services María Emilia Cambronero, Gregorio Díaz, Valentín Valero and Enrique Martínez Universidad de Castilla-La Mancha. SPAIN FLACOS 2008

More Related