Loading [a11y]/accessibility-menu.js
Simulation and validation of Web services choreography | IEEE Conference Publication | IEEE Xplore

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 ...Show More

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 CDL checker is developed to facilitate designers to simulate and validate CDL documents.
Date of Conference: 14-15 January 2009
Date Added to IEEE Xplore: 08 February 2010
Print ISBN:978-1-4244-5300-9
Print ISSN: 2163-2871
Conference Location: Taipei, Taiwan

References

References is not available for this document.