Paper Info
Title
Web services choreography validation
Abstract
In this paper, we propose an approach to simulation and validation of Web services choreography described by WS-CDL. Simulation of Web services choreography is important to analyze and test the choreography model written by SOA designers. On the other hand, WS-CDL specification regulates the correct behaviors a WS-CDL document has to obey. Thus, constraints are specified in WS-CDL specification including static, dynamic and implementation ones. We developed a relational calculus to capture those constraints precisely, and a corresponding algorithm for relational analysis is performed with the WS-CDL parser and simulator. Last but not least, a tool called CDLchecker is developed to facilitate designers to simulate and validate WS-CDL documents.
Year
DOI
Venue
2010
10.1007/s11761-010-0072-5
Service Oriented Computing and Applications
Keywords
Field
DocType
simulation,soa,web service,web services
Relational calculus,Programming language,Computer science,Grey relational analysis,Choreography,Parsing,Web service,WS-Policy
Journal
Volume
Issue
ISSN
4
4
1863-2386
Citations 
PageRank 
References 
1
0.35
18
Authors
7
Name
Order
Citations
PageRank
Zheng Wang143192.42
Lei Zhou2253.91
Yongxin Zhao310120.30
Jing Ping490.98
Hao Xiao5335.42
Geguang Pu660257.89
Huibiao Zhu758386.68