|
Published Articles >> Table of Contents >> Abstract
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
pp. 139-147
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
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
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.51
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
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
|
|
