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
Raymond Paul , OSD NII, Department of Defense
Yinong Chen , Arizona State University, Tempe, AZ
Hai Huang , Arizona State University, Tempe, AZ
Wei-Tek Tsai , 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
Raymond Paul, Yinong Chen, Hai Huang, Wei-Tek Tsai, "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
99 ms
(Ver )