a tool for the design and verification of composite web services maría emilia cambronero, gregorio...
TRANSCRIPT
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
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.
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.
Web Services: SET OF PROTOCOLS & STANDARS
Choreography Description LanguageWS-CDL
Business Process LanguageWS-BPEL
UDDI
WSDL
SOAP
XML,Encodings
HTTP,SMTP, JMS
Introduction
WS-CDL
Introduction
Travel Agent Internet
Credit Card
Car Rental
Hotels
Airlines
WS-BPEL
WS-BPEL
WS-BPEL
WS-BPEL
WS-BPEL
1.Introduction
2.Web Services Translation tool (WST)
3.Case Study
4.Conclusion and Future Work
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
WST tool
WST tool
WS-CDL documents generation
Execution of translation
process
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
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
XSLT (XML Stylesheets Language) for Transforming XML documents into other XML Documents.
Case Study: Internet Purchase Site
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
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
Orchestration Layer
WS-BPEL XML
TA
Sequence Diagrams
RT-UMLXMI
(To develop)
XSLT
Future Work
XSLT
XSLT
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