This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)
Automated Model Checking and Testing for Composite Web Services
Seattle, Washington
May 18-May 20
ISBN: 0-7695-2356-0
Hai Huang, Arizona State University, Tempe, AZ
Wei-Tek Tsai, Arizona State University, Tempe, AZ
Raymond Paul, OSD NII, Department of Defense
Yinong Chen, Arizona State University, Tempe, AZ
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.
Citation:
Hai Huang, Wei-Tek Tsai, Raymond Paul, Yinong Chen, "Automated Model Checking and Testing for Composite Web Services," isorc, pp.300-307, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.