Sciweavers

Share
ISORC
2005
IEEE

Automated Model Checking and Testing for Composite Web Services

9 years 8 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to carry out a coherent task. This paper presents a new approach to verify Web Services by model checking the process model of OWL-S (Web Ontology Language for Web Services) and to validate them by the test cases automatically generated in the model checking process. We extend the BLAST, a model checker that handles control flow model naturally, to handle the concurrency in OWL-S. We also propose enhancement in OWL-S and PDDL (Planning Domain Definition Language) to facilitate the automated test case generation. Experiments on realistic examples are provided to illustrate the process.
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where ISORC
Authors Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen
Comments (0)
books