a tool for the design and verification of composite web services
DESCRIPTION
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 - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/1.jpg)
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
![Page 2: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/2.jpg)
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
![Page 3: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/3.jpg)
Little effort has been dedicated to systematically design and analyze web services systems.
Introduction
Travel Agent Internet
Credit Card
Car Rental
Hotels
Airlines
The use of formal techniques bring rigour and consistency to system specification and implementation.
![Page 4: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/4.jpg)
The airline always keeps the reservation 24 hours before the payment.
The TravelAgent always cancels the reservation on the traveler’s demand.
Introduction
Travel Agent Internet
Credit Card
Car Rental
Hotels
Airlines
Web Services Coordination and timed restrictions analysismust be enforced in Web Services.
![Page 5: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/5.jpg)
Web Services: SET OF PROTOCOLS & STANDARS
Choreography Description LanguageWS-CDL
Business Process LanguageWS-BPEL
UDDI
WSDL
SOAP
XML,Encodings
HTTP,SMTP, JMS
Introduction
![Page 6: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/6.jpg)
WS-CDL
Introduction
Travel Agent Internet
Credit Card
Car Rental
Hotels
Airlines
WS-BPEL
WS-BPEL
WS-BPEL
WS-BPEL
WS-BPEL
![Page 7: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/7.jpg)
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
![Page 8: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/8.jpg)
WST tool
Time RestrictionsModel Checking Engine
Choreography Layer
WS-CDLXML
Orchestration Layer
WS-BPEL XML
TIMEDAUTOMATA
Sequence Diagrams
RT-UMLXMI
XSLT
(Done)
Under development
(Done)
XSLT XSLT
(Done)
XSLT
![Page 9: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/9.jpg)
WST tool
![Page 10: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/10.jpg)
WST tool
WS-CDL documents generation
Execution of translation
process
![Page 11: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/11.jpg)
WST tool
TA documents generation
Execute the translation
process
UPPAAL Tool
- Open XMI file- Open WS-CDL file- Save XMI file- Save WS-CDL- Exit
- Save Timed Automata
- Save WS-CDL
![Page 12: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/12.jpg)
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
![Page 13: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/13.jpg)
Case Study: Internet Purchase Site
![Page 14: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/14.jpg)
Case Study:
![Page 15: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/15.jpg)
Case Study: Internet Purchase Site
![Page 16: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/16.jpg)
Case Study: Internet Purchase Site
![Page 17: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/17.jpg)
XSLT (XML Stylesheets Language) for Transforming XML documents into other XML Documents.
Case Study: Internet Purchase Site
![Page 18: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/18.jpg)
Case Study: Internet Purchase Site
![Page 19: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/19.jpg)
Case Study: Internet Purchase Site
![Page 20: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/20.jpg)
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
![Page 21: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/21.jpg)
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.
Conclusions
![Page 22: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/22.jpg)
Orchestration Layer
WS-BPEL XML
TA
Sequence Diagrams
RT-UMLXMI
(To develop)
XSLT
Future Work
XSLT
XSLT
![Page 23: A Tool for the Design and Verification of Composite Web Services](https://reader033.vdocuments.mx/reader033/viewer/2022051821/568157c2550346895dc54449/html5/thumbnails/23.jpg)
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