Automated model checking and testing for composite Web services

Hai Huang, Wei Tek Tsai, Raymond Paul, Yinong Chen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

90 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
Pages300-307
Number of pages8
Volume2005
Publication statusPublished - 2005
EventEighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 - Seattle, MA, United States
Duration: May 18 2005May 20 2005

Other

OtherEighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
CountryUnited States
CitySeattle, MA
Period5/18/055/20/05

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Huang, H., Tsai, W. T., Paul, R., & Chen, Y. (2005). Automated model checking and testing for composite Web services. In Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 (Vol. 2005, pp. 300-307). [1420984]