The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2005)
Seattle, Washington
May 18, 2005 to May 20, 2005
ISBN: 0-7695-2356-0
pp: 300-307
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
ABSTRACT
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.
INDEX TERMS
null
CITATION
Hai Huang, Wei-Tek Tsai, Raymond Paul, Yinong Chen, "Automated Model Checking and Testing for Composite Web Services", 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), vol. 00, no. , pp. 300-307, 2005, doi:10.1109/ISORC.2005.16
79 ms
(Ver 3.3 (11022016))