A Tool for the Design and Verification of Composite by vev19514

VIEWS: 6 PAGES: 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
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
          Introduction


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




                                          Hotels


                        Airlines
                      Introduction
Web Services Coordination and timed restrictions analysis
must be enforced in Web Services.

                                        Credit Card

                                                                 Car Rental

 Travel Agent                           Internet

The TravelAgent always cancels the
reservation on the traveler’s demand.



                                                                   Hotels
                                                      The airline always keeps the reservation 24
                                                      hours before the payment.
                                         Airlines
     Introduction

Web Services: SET OF PROTOCOLS & STANDARS

       Choreography Description Language
                   WS-CDL

          Business Process Language
                  WS-BPEL

                     UDDI

                     WSDL

                     SOAP

                 XML,Encodings

                HTTP,SMTP, JMS
          Introduction
                                    WS-BPEL
                                                  WS-BPEL
    WS-CDL
                     Credit Card

                                              Car Rental
WS-BPEL

Travel Agent         Internet                              WS-BPEL




               WS-BPEL


                                               Hotels


                         Airlines
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
                               WST tool

                                                          (Done)
                                   Sequence Diagrams



                     (Done)
                                     RT-UML
                                          XMI
                                                                    XSLT

                                Under
                                development        XSLT



Choreography Layer                                                         Orchestration Layer
                                    TIMED
 WS-CDL                 XSLT
                                  AUTOMATA                   XSLT
                                                                           WS-BPEL
      XML            (Done)                                                       XML
                                     Time Restrictions
                               Model Checking Engine
WST tool
     WST tool


                   Execution of
WS-CDL documents    translation
generation            process
                        WST tool

                                    - Save WS-CDL
            - Save Timed Automata
                                           Execute the
                                           translation
         TA documents
- Open XMI file                              process
         generation
- Open WS-CDL file
- Save XMI file
- Save WS-CDL
- Exit




                                         UPPAAL Tool
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
Case Study: Internet Purchase Site
Case Study:
Case Study: Internet Purchase Site
Case Study: Internet Purchase Site
Case Study: Internet Purchase Site




XSLT (XML Stylesheets Language) for Transforming XML
documents into other XML Documents.
Case Study: Internet Purchase Site
Case Study: Internet Purchase Site
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
              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.
Future Work

                        (To develop)

   Sequence Diagrams

    RT-UML
           XMI



    XSLT                  XSLT


                                 Orchestration Layer

        TA             XSLT      WS-BPEL
                                        XML
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

								
To top