Paper Info
Title
An Approach to Check Choreography with Channel Passing in WS-CDL
Abstract
Channel passing mechanisms enable dynamically determining destinations of message transferring. WS-CDL, a language developed by W3C for the specification of Web services choreographies, adopts channel passing to support dynamic Web services composition. A choreography can be projected into individual services or orchestration skeletons. It is a challenge to ensure the services generated from a choreography always have sufficient and correct channels to complete their collaboration. In fact, WS-CDL is not ready for rigorous validation and implementation with respect to channel passing, since it provides no structure for specifying explicitly which role should firstly initialize which channel variable. Here we propose an algorithm to uncover these implicit assumptions, that is implemented as an extension to Pi4SOA. With the help of the algorithm, some existing methods for verification and implementation can be applied on choreographies written in WS-CDL. In addition, we propose an approach to detect design defects in choreographies, and show how a defect is found from the main sample choreography in WS-CDL Primer. It seems that choreographies with channel passing are error prone. Methods and tools are necessary to support designers in this field. Also, we suggest improving the situation by adding a syntactical construct to WS-CDL.
Year
DOI
Venue
2008
10.1109/ICWS.2008.46
ICWS
Keywords
DocType
Citations 
implicit assumption,web services choreography,correct channel,channel passing,ws-cdl primer,existing method,design defect,main sample choreography,dynamic web services composition,individual service,web service,web services,business,algorithm design and analysis,collaboration,formal specification,message passing,protocols
Conference
6
PageRank 
References 
Authors
0.51
7
2
Name
Order
Citations
PageRank
Chao Cai11458.48
Zongyan Qiu243641.04