Simulation and Validation of Web Services Choreography

Lei Zhou,Hao Xiao,Jing Ping,Geguang Pu,Hanyi Zhang
DOI: https://doi.org/10.1109/soca.2009.5410262
2009-01-01
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, CDL specification regulates the correct behaviors a CDL program has to obey. Thus, constraints are specified in CDL specification including static, dynamic and implementation ones. We developed a relational calculous to capture those constraints precisely and a corresponding algorithm for relational analysis is performed with the CDL parser and simulator. Last but not least, a tool called CDLchecker is developed to facilitate designers to simulate and validate CDL documents.
What problem does this paper attempt to address?