A framework for contract-based collaborative verification and validation of Web services

Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei Tek Tsai, Yinong Chen

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

25 Citations (Scopus)

Abstract

A key issue with Web Services (WS) is the verification and validation (V&V) of services to build trust between service providers and service users. This paper proposed a test-broker architecture so that all stakeholder within WS can contribute to improve the testing of the services. The test broker supports the submission, indexing, and querying of test artifacts such as test cases, defect reports and evaluations. It can also provide the services for the test generation, test coordination, and distributed testing services. The DCV&V (Decentralized, Collaborative, Verification and Validation) framework is proposed with a set of distributed and collaborated test brokers dedicated to different V&V tasks to enable scalable and flexible test collaborations. The paper explores the concept of design-by-contract and applies the principle to DCV&V. It identifies two categories of testing contracts including TSC (Testing Service Contracts) and TCC (Test Collaboration Contracts). It illustrates the application of TSC with contract-based test generation based on WS OWL-S specification. It elaborates TCC with the analysis of the test artifacts definitions.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages258-273
Number of pages16
Volume4608 LNCS
StatePublished - 2007
Event10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007 - Medford, MA, United States
Duration: Jul 9 2007Jul 11 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4608 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007
CountryUnited States
CityMedford, MA
Period7/9/077/11/07

Fingerprint

Verification and Validation
Contracts
Web services
Web Services
Contract Services
Testing
Artifacts
Test Generation
Framework
OWL-S
Specifications
Indexing
Decentralized
Defects
Specification

Keywords

  • Contract-based
  • Verification and validation
  • Web services

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

Bai, X., Wang, Y., Dai, G., Tsai, W. T., & Chen, Y. (2007). A framework for contract-based collaborative verification and validation of Web services. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4608 LNCS, pp. 258-273). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4608 LNCS).

A framework for contract-based collaborative verification and validation of Web services. / Bai, Xiaoying; Wang, Yongbo; Dai, Guilan; Tsai, Wei Tek; Chen, Yinong.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4608 LNCS 2007. p. 258-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4608 LNCS).

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

Bai, X, Wang, Y, Dai, G, Tsai, WT & Chen, Y 2007, A framework for contract-based collaborative verification and validation of Web services. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4608 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4608 LNCS, pp. 258-273, 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, Medford, MA, United States, 7/9/07.
Bai X, Wang Y, Dai G, Tsai WT, Chen Y. A framework for contract-based collaborative verification and validation of Web services. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4608 LNCS. 2007. p. 258-273. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Bai, Xiaoying ; Wang, Yongbo ; Dai, Guilan ; Tsai, Wei Tek ; Chen, Yinong. / A framework for contract-based collaborative verification and validation of Web services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4608 LNCS 2007. pp. 258-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{bcda4c2e6310451d8b8248d03bbe9448,
title = "A framework for contract-based collaborative verification and validation of Web services",
abstract = "A key issue with Web Services (WS) is the verification and validation (V&V) of services to build trust between service providers and service users. This paper proposed a test-broker architecture so that all stakeholder within WS can contribute to improve the testing of the services. The test broker supports the submission, indexing, and querying of test artifacts such as test cases, defect reports and evaluations. It can also provide the services for the test generation, test coordination, and distributed testing services. The DCV&V (Decentralized, Collaborative, Verification and Validation) framework is proposed with a set of distributed and collaborated test brokers dedicated to different V&V tasks to enable scalable and flexible test collaborations. The paper explores the concept of design-by-contract and applies the principle to DCV&V. It identifies two categories of testing contracts including TSC (Testing Service Contracts) and TCC (Test Collaboration Contracts). It illustrates the application of TSC with contract-based test generation based on WS OWL-S specification. It elaborates TCC with the analysis of the test artifacts definitions.",
keywords = "Contract-based, Verification and validation, Web services",
author = "Xiaoying Bai and Yongbo Wang and Guilan Dai and Tsai, {Wei Tek} and Yinong Chen",
year = "2007",
language = "English (US)",
isbn = "9783540735502",
volume = "4608 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "258--273",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - A framework for contract-based collaborative verification and validation of Web services

AU - Bai, Xiaoying

AU - Wang, Yongbo

AU - Dai, Guilan

AU - Tsai, Wei Tek

AU - Chen, Yinong

PY - 2007

Y1 - 2007

N2 - A key issue with Web Services (WS) is the verification and validation (V&V) of services to build trust between service providers and service users. This paper proposed a test-broker architecture so that all stakeholder within WS can contribute to improve the testing of the services. The test broker supports the submission, indexing, and querying of test artifacts such as test cases, defect reports and evaluations. It can also provide the services for the test generation, test coordination, and distributed testing services. The DCV&V (Decentralized, Collaborative, Verification and Validation) framework is proposed with a set of distributed and collaborated test brokers dedicated to different V&V tasks to enable scalable and flexible test collaborations. The paper explores the concept of design-by-contract and applies the principle to DCV&V. It identifies two categories of testing contracts including TSC (Testing Service Contracts) and TCC (Test Collaboration Contracts). It illustrates the application of TSC with contract-based test generation based on WS OWL-S specification. It elaborates TCC with the analysis of the test artifacts definitions.

AB - A key issue with Web Services (WS) is the verification and validation (V&V) of services to build trust between service providers and service users. This paper proposed a test-broker architecture so that all stakeholder within WS can contribute to improve the testing of the services. The test broker supports the submission, indexing, and querying of test artifacts such as test cases, defect reports and evaluations. It can also provide the services for the test generation, test coordination, and distributed testing services. The DCV&V (Decentralized, Collaborative, Verification and Validation) framework is proposed with a set of distributed and collaborated test brokers dedicated to different V&V tasks to enable scalable and flexible test collaborations. The paper explores the concept of design-by-contract and applies the principle to DCV&V. It identifies two categories of testing contracts including TSC (Testing Service Contracts) and TCC (Test Collaboration Contracts). It illustrates the application of TSC with contract-based test generation based on WS OWL-S specification. It elaborates TCC with the analysis of the test artifacts definitions.

KW - Contract-based

KW - Verification and validation

KW - Web services

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

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

M3 - Conference contribution

AN - SCOPUS:38149058259

SN - 9783540735502

VL - 4608 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 258

EP - 273

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -