Automated model checking and testing for composite Web services

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

Automated model checking and testing for composite Web services

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

Computing and Augmented Intelligence, School of (IAFSE-SCAI)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

99 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 language	English (US)
Title of host publication	Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
Pages	300-307
Number of pages	8
State	Published - 2005
Event	Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 - Seattle, MA, United States Duration: May 18 2005 → May 20 2005

Publication series

Name	Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
Volume	2005

Other

Other	Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
Country/Territory	United States
City	Seattle, MA
Period	5/18/05 → 5/20/05

ASJC Scopus subject areas

General Engineering

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 (pp. 300-307). Article 1420984 (Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005; Vol. 2005).

Automated model checking and testing for composite Web services. / Huang, Hai; Tsai, Wei Tek; Paul, Raymond et al.
Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005. 2005. p. 300-307 1420984 (Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Huang, H, Tsai, WT, 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., 1420984, Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005, vol. 2005, pp. 300-307, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005, Seattle, MA, United States, 5/18/05.

@inproceedings{4a046ac5639447d5a9734fb63c6a64f4,

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",

note = "Copyright: Copyright 2011 Elsevier B.V., All rights reserved.; Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 ; Conference date: 18-05-2005 Through 20-05-2005",

year = "2005",

language = "English (US)",

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",

}

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

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 -

Automated model checking and testing for composite Web services

Abstract

Publication series

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this