Service Composition Verification and Validation-Reference-Cited by-同舟云学术

Service Composition Verification and Validation

Published:2014 Issue: Volume: Page:2163-2182
ISSN:
Container-title:Software Design and Development
language:
Short-container-title:

Author:

Palomo-Duarte Manuel¹

Affiliation:

1. University of Cadiz, Spain

Abstract

Web services are changing software development thanks to their loosely coupled nature and simple adoption. They can be easily composed to create new more powerful services, allowing for large programming systems. Verification and validation techniques try to find defects in a program to minimize losses that its malfunction could cause. Although many different approaches have been developed for “traditional” program testing, none of them have proven definitive. The problem is even more challenging for new paradigms like web services and web service compositions, because of their dynamic nature and uncommon web service-specific instructions. This chapter surveys the different approaches to web service and web service composition verification and validation, paying special attention to automation. When no tools are available for a given technique, academic efforts are discussed, and challenges are presented.

Publisher

IGI Global

Reference82 articles.

1. Software quality;A.Abran;Software engineering body of knowledge (SWEBOK) guide,2004

2. Apache ODE Development Team. (2010). Apache ODE WS-BPEL engine unit test compositions. Retrieved May 10, 2010, from http://svn.apache.org/viewvc/ode/trunk/bpel-test/src/test/resources/bpel/2.0

3. Specifying High-Assurance Services

4. Bai, X., Dong, W., Tsai, W., & Chen, Y. (2005). WSDL-based automatic test case generation for Web Services testing. In Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (pp. 215-220). IEEE Computer Society.

5. Balzer, S., Liebig, T., & Wagner, M. (2004). Pitfalls of OWL-S: A practical Semantic Web use case. In M. Aiello, M. Aoyama, F. Curbera, & M. P. Papazoglou (Eds.), Proceedings of the Second International Conference on Service Oriented Computing (pp. 289-298). Association for Computing Machinery.