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.
| Original language | English |
|---|---|
| Title of host publication | IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09 |
| Pages | 278-285 |
| Number of pages | 8 |
| DOIs | |
| State | Published - 2009 |
| Event | IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09 - Taipei, Taiwan, Province of China Duration: 14 Dec 2009 → 15 Dec 2009 |
Publication series
| Name | IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09 |
|---|
Conference
| Conference | IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09 |
|---|---|
| Country/Territory | Taiwan, Province of China |
| City | Taipei |
| Period | 14/12/09 → 15/12/09 |
Keywords
- SOA
- Simulation
- Validation
- WS-CDL
- Web services