The Community for Technology Leaders
RSS Icon
Subscribe
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", ISORC, 2005, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) 2005, pp. 300-307, doi:10.1109/ISORC.2005.16
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool