@inproceedings{9cc3eb6703fa4ecfa289338d3ce0f162,
title = "Automated model checking and testing for composite Web services",
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.",
author = "Hai Huang and Tsai, \{Wei Tek\} and Raymond Paul and Yinong Chen",
year = "2005",
language = "英语",
isbn = "0769523560",
series = "Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005",
pages = "300--307",
booktitle = "Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005",
note = "Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 ; Conference date: 18-05-2005 Through 20-05-2005",
}