Web services choreography validation

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.