@inproceedings{e52b010ddd0c4de3a50354d29b50928b,
title = "Simulation and validation of Web services choreography",
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.",
keywords = "SOA, Simulation, Validation, WS-CDL, Web services",
author = "Lei Zhou and Hao Xiao and Jing Ping and Geguang Pu and Hanyi Zhang",
year = "2009",
doi = "10.1109/SOCA.2009.5410262",
language = "英语",
isbn = "9781424452996",
series = "IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09",
pages = "278--285",
booktitle = "IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09",
note = "IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09 ; Conference date: 14-12-2009 Through 15-12-2009",
}