loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Sedona, Arizona
February 02-February 04
ISBN: 0-7695-2347-1
ASCII Text
x 
 
Wei-Tek Tsai, Yinong Chen, Ray Paul, "Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 139-147, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005.
 
 
BibTex
x
 
@article{ 10.1109/WORDS.2005.51,
author = {Wei-Tek Tsai and Yinong Chen and Ray Paul},
title = {Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems},
journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on},
volume = {0},
year = {2005},
issn = {1530-1443},
pages = {139-147},
doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.51},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
TI - Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
SN - 1530-1443
SP139
EP147
A1 - Wei-Tek Tsai,
A1 - Yinong Chen,
A1 - Ray Paul,
PY - 2005
KW - Web services
KW - service composition
KW - collaborative testing
KW - group testing
KW - verification.
VL - 0
JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
ER -
 
Wei-Tek Tsai, Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Yinong Chen, Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Ray Paul, Department of Computer Science and Engineering, Arizona State University, Tempe, AZ

Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access to the source code. This paper addressed this issue by proposing several solutions including specification-based verification and validation, collaborative testing, and group testing. The key concept is that it is possible to provide a comprehensive evaluation of WS even if their source code is not available.

Index Terms:
Web services, service composition,collaborative testing, group testing, verification.
Citation:
Wei-Tek Tsai, Yinong Chen, Ray Paul, "Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems," words, pp.139-147, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005
Usage of this product signifies your acceptance of the Terms of Use.