Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) (2005)
May 18, 2005 to May 20, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.16
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.
R. Paul, Y. Chen, H. Huang and W. Tsai, "Automated Model Checking and Testing for Composite Web Services," Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)(ISORC), Seattle, Washington, 2005, pp. 300-307.