TY - GEN
T1 - Automated model checking and testing for composite Web services
AU - Huang, Hai
AU - Tsai, Wei Tek
AU - Paul, Raymond
AU - Chen, Yinong
N1 - Copyright:
Copyright 2011 Elsevier B.V., All rights reserved.
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33744492591&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33744492591&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:33744492591
SN - 0769523560
SN - 9780769523569
T3 - Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
SP - 300
EP - 307
BT - Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
T2 - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
Y2 - 18 May 2005 through 20 May 2005
ER -