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 Citations (Scopus)

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 - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
Pages139-147
Number of pages9
DOIs
StatePublished - 2005
Event10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 - Sedona, AZ, United States
Duration: Feb 2 2005Feb 4 2005

Other

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

Fingerprint

Web services
Specifications
Testing
Service oriented architecture (SOA)
Interoperability

Keywords

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

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tsai, W. T., Chen, Y., & Paul, R. (2005). Specification-based verification and validation of web services and service-oriented operating systems. In Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS (pp. 139-147) https://doi.org/10.1109/WORDS.2005.51

Specification-based verification and validation of web services and service-oriented operating systems. / Tsai, Wei Tek; Chen, Yinong; Paul, Ray.

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. 2005. p. 139-147.

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

Tsai, WT, Chen, Y & Paul, R 2005, Specification-based verification and validation of web services and service-oriented operating systems. in Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. pp. 139-147, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005, Sedona, AZ, United States, 2/2/05. https://doi.org/10.1109/WORDS.2005.51
Tsai WT, Chen Y, Paul R. Specification-based verification and validation of web services and service-oriented operating systems. In Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. 2005. p. 139-147 https://doi.org/10.1109/WORDS.2005.51
Tsai, Wei Tek ; Chen, Yinong ; Paul, Ray. / Specification-based verification and validation of web services and service-oriented operating systems. Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. 2005. pp. 139-147
@inproceedings{6cc01f9b02d049b18c7702e4255a70f7,
title = "Specification-based verification and validation of web services and service-oriented operating systems",
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.",
keywords = "Collaborative testing, Group testing, Service composition, Verification, Web services",
author = "Tsai, {Wei Tek} and Yinong Chen and Ray Paul",
year = "2005",
doi = "10.1109/WORDS.2005.51",
language = "English (US)",
isbn = "0769523471",
pages = "139--147",
booktitle = "Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS",

}

TY - GEN

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

AU - Tsai, Wei Tek

AU - Chen, Yinong

AU - Paul, Ray

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

KW - Collaborative testing

KW - Group testing

KW - Service composition

KW - Verification

KW - Web services

UR - http://www.scopus.com/inward/record.url?scp=27544464506&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=27544464506&partnerID=8YFLogxK

U2 - 10.1109/WORDS.2005.51

DO - 10.1109/WORDS.2005.51

M3 - Conference contribution

SN - 0769523471

SP - 139

EP - 147

BT - Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

ER -