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 Scopus citations

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 publicationComponent-Based Software Engineering - 10th International Symposium, CBSE 2007, Proceedings
PublisherSpringer Verlag
Pages258-273
Number of pages16
ISBN (Print)9783540735502
DOIs
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)0302-9743
ISSN (Electronic)1611-3349

Other

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

Keywords

  • Contract-based
  • Verification and validation
  • Web services

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A framework for contract-based collaborative verification and validation of Web services'. Together they form a unique fingerprint.

  • 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 Component-Based Software Engineering - 10th International Symposium, CBSE 2007, Proceedings (pp. 258-273). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4608 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-73551-9_18