A Tool for the Design and Verification of Composite Web Services

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

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

3
Introduction
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
Web Services Coordination and timed restrictions
analysis must be enforced in Web Services.
The TravelAgent always cancels the reservation on
the travelers demand.
The airline always keeps the reservation 24 hours
before the payment.
5
Introduction
Web Services SET OF PROTOCOLS STANDARS
6
Introduction
WS-CDL
7

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

8
WST tool
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
TA documents generation

• - Open XMI file
• Open WS-CDL file
• Save XMI file
• Save WS-CDL
• Exit

UPPAAL Tool
12

1. Introduction
2. Web Services Translation tool (WST)
3. Case Study
4. 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

1. Introduction
2. Web Services Translation tool (WST)
3. Case Study
4. 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