Specification-based verification and validation of web services and service-oriented operating systems

Wei Tek Tsai, Yinong Chen, Ray Paul

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Pages139-147
Number of pages9
DOIs
StatePublished - Nov 10 2005
Event10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 - Sedona, AZ, United States
Duration: Feb 2 2005Feb 4 2005

Publication series

NameProceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
ISSN (Print)1530-1443

Other

Other10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Country/TerritoryUnited States
CitySedona, AZ
Period2/2/052/4/05

Keywords

  • Collaborative testing
  • Group testing
  • Service composition
  • Verification
  • Web services

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'Specification-based verification and validation of web services and service-oriented operating systems'. Together they form a unique fingerprint.

Cite this