WST: A Tool for Verifying Web Services systems Mara Emilia - - PowerPoint PPT Presentation

▶
wst a tool for verifying web services systems
SMART_READER_LITE
LIVE PREVIEW

WST: A Tool for Verifying Web Services systems Mara Emilia - - PowerPoint PPT Presentation

Feb 18, 2023 467 likes •730 views

WST: A Tool for Verifying Web Services systems Mara Emilia Cambronero, Valentn Valero, Gregorio Daz Escuela Politcnica Superior de Albacete Departamento de Sistemas Informticos Universidad de Castilla-La Mancha Email:

slide-1
SLIDE 1

WST: A Tool for Verifying Web Services systems

María Emilia Cambronero, Valentín Valero, Gregorio Díaz

Escuela Politécnica Superior de Albacete Departamento de Sistemas Informáticos Universidad de Castilla-La Mancha Email: emicp@dsi.uclm.es, valentin@dsi.uclm.es, gregorio@dsi.uclm.es

slide-2
SLIDE 2

1.Introduction 2.Web Services Translation tool (WST) 3.WS-CDL 4.Translation from WS-CDL to TA 5.Conclusion and Future Work

slide-3
SLIDE 3

Introduction

It is important to devote a great effort to analyze and verify the behavior of Web Services systems.

Web Service

Travel Customer in Yahoo Site Searches

Web Service

Weather

Web Service

INTERNET INTERNET

slide-4
SLIDE 4

Introduction

A Traveler always receives his ticket and statement after performing the payment. The TravelAgent always cancels the reservation on the traveler’s demand.

Web Service

Travel Customer in Yahoo Site Searches

Web Service

Weather

Web Service

INTERNET INTERNET

slide-5
SLIDE 5

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

slide-6
SLIDE 6

Introduction

WS-CDL

Web Service

Travel Customer in Yahoo Site Searches

Web Service

Weather

Web Service

INTERNET INTERNET

WS-BPEL WS-BPEL WS-BPEL WS-BPEL

slide-7
SLIDE 7

1.Introduction 2.Web Services Translation tool (WST) 3.WS-CDL 4.Translation from WS-CDL to TA 5.Conclusion and Future Work

slide-8
SLIDE 8

WST tool

Time Restrictions Model Checking Engine Choreography Layer

WS-CDL

XML Orchestration Layer

WS-BPEL

XML

TIMED AUTOMATA

Sequence Diagrams

RT-UML

XMI

XSLT

(Done)

(Under development) (Under development)

XSLT XSLT

(Almost Done)

XSLT

slide-9
SLIDE 9

WST tool

  • Open XMI file
  • Open WS-CDL file
  • Save XMI file
  • Save WS-CDL
  • Exit
  • Save Timed Automata
  • Save WS-CDL
slide-10
SLIDE 10

WST tool

WS-CDL documents generation, from the initial model (RT-UML diagram).

Execute the translation process

slide-11
SLIDE 11

WST tool

TA documents generation, from WS-CDL documents.

Execute the translation process

slide-12
SLIDE 12

1.Introduction 2.Web Services Translation tool (WST) 3.WS-CDL 4.Translation from WS-CDL to TA 5.Conclusion and Future Work

slide-13
SLIDE 13

WS-CDL

slide-14
SLIDE 14

WS-CDL

Participant, Role and Relations types. Information types, Variables and Tokens. Choreographies (life-line, Exception and

Finalizer blocks).

Channels. Work Units. Activities and Ordering Structures. Interaction Activity. Semantics.

slide-15
SLIDE 15

1.Introduction 2.Web Services Translation tool (WST) 3.WS-CDL 4.Translation from WS-CDL to TA 5.Conclusion and Future Work

slide-16
SLIDE 16

From WS-CDL to TA

XSLT (XML Stylesheets Language) for Transforming XML documents into other XML Documents.

slide-17
SLIDE 17

From WS-CDL to TA

WS-CDL Timed Automata

Role Template Relation Type Channel+ Participant Type Process+ Channel Type Channel Variables Variables Choreography Choreography+ | Activity Activity Work Unit | Sequence| Parallelism | Choice Sequence Activity+ Parallelism Activity+ Choice Activity+

slide-18
SLIDE 18

From WS-CDL to TA

<roleType name=“name"> </roleType>

Automata Template

<workunit name="ncname" guard="xsd:x<24"? repeat="xsd:y<7"? block="true|false"? > Activity-Notation </workunit> X < 24

y < 7 a b

guard="xsd:x<24"? x<24 repeat="xsd:y<7"?

y<7

Activity- Notation Loop

slide-19
SLIDE 19

From WS-CDL to TA

<role DemandMS> <role ProductivityMS> <choreography> <variable boolean inc_demand,clock x> <sequence> <workunit> <guard i==0> <repeat clock==0> <interaction> <from: DemandMS to: ProductivityMS> <exchange action=request> <record inc_demand:=false> </exchange> </interaction> </workunit> </sequence> </choreography> Template DemandMS Template ProductivityMS

i==0 Clock==0

slide-20
SLIDE 20

1.Introduction 2.Web Services Translation tool (WST) 3.WS-CDL 4.Translation from WS-CDL to TA 5.Conclusion and Future Work

slide-21
SLIDE 21

Conclusions

<interaction name= “” channelVariable=“tns:turbines_on-channel”

  • peration=“TurnOnTurbines” align=“true” initiate=“true”>

<participate relationshipType=“tns:ProductivityMSWindTurbineMS”“ fromRole=“tns:ProductivityMS toRole=“tns:WindTurbineMS”/> <exchange name=“request” inforrnationType=“tns:turbineonType” action=“request”> <send variable= “cdl:getVariable(“tns: turbineon”, ““,”“)”/> <receive variable =“cdl:getVariable(“tns:turbineon”,”“,”“)” recordReference=“record-the-channel-info” /> </exchange> </interaction>

<interaction name= “” channelVariable=“tns:turbines_on-channel”

  • peration=“TurnOnTurbines” align=“true” initiate=“true”>

<participate relationshipType=“tns:ProductivityMSWindTurbineMS”“ fromRole=“tns:ProductivityMS toRole=“tns:WindTurbineMS”/> <exchange name=“request” informationType=“tns:turbineonType” action=“request”> <send variable= “cdl:getVariable(“tns: turbineon”, ““,”“)”/> <receive variable =“cdl:getVariable(“tns:turbineon”,”“,”“)” recordReference=“record-the-channel-info” /> </exchange> <timeout time-to-complete= “cdl:minor(cdl:getVariable(“tns:z”, ““,”“),”00:04”)” />? </interaction>

slide-22
SLIDE 22

Future Work

Choreography Layer

WS-CDL

XML Orchestration Layer

WS-BPEL

XML

TA

Sequence Diagrams

RT-UML

XMI

(To develop)

XSLT XSLT

(Almost Done)

XSLT

TA

EQUIVALENT to Bisimulation Relationship

slide-23
SLIDE 23

Future Work

Time Restrictions Model Checking Engine Choreography Layer

WS-CDL

XML Orchestration Layer

WS-BPEL

XML

TIMED AUTOMATA

Sequence Diagrams

RT-UML

XMI

XSLT (Done)

(Under development) (Under development)

XSLT XSLT

(Almost Done)

XSLT

slide-24
SLIDE 24

WST: A Tool for Verifying Web Services systems

María Emilia Cambronero, Valentín Valero, Gregorio Díaz

Escuela Politécnica Superior de Albacete Departamento de Sistemas Informáticos Universidad de Castilla-La Mancha Email: emicp@dsi.uclm.es, valentin@dsi.uclm.es, gregorio@dsi.uclm.es