Test and Analysis of Web Services

Summary

The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration. The highly dynamic characteristics of service-oriented applications means their validation is a continuous process that often runs in parallel with execution. It is not possible to clearly distinguish between the predeployment validation of a system and its use, nor is it possible to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment as well. Baresi and Di Nitto have put together the first reference on all aspects of testing and validating service-oriented architectures, taking into account these inherent intricacies. The contributions by leading academic and industrial research groups are structured into four parts on: static analysis to acquire insight into how the system is supposed to work; testing techniques to sample its actual behavior; monitoring to probe its operational performance; and nonfunctional requirements like reliability and trust. This monograph is an initial source of knowledge for researchers in both academia and industry in the field of service-oriented architecture validation and verification approaches. They will find a comprehensive survey of state-of-the-art approaches as well as techniques and tools to improve the quality of service-oriented applications.

Author Biography

Luciano Baresi is associate professor at Dipartimento di Elettronica e Informazione at Politecnico di Milano. Luciano has published and presented some 50 papers on the most important national and international journals and conferences. His research interests are on dynamic software architectures, with special emphasis service-oriented applications. Elisabetta Di Nitto is associate professor at Dipartimento di Elettronica e Informazione at Politecnico di Milano. Her current research interests are mainly on software engineering, and in particular, on process support systems, service-centric applications and dynamic software architectures.

Introduction	p. 1
Analysis
Specifying and Monitoring Service Flows: Making Web Services Process-Aware	p. 11
Analyzing Conversations: Realizability, Synchronizability, and Verification	p. 57
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography	p. 87
Model Checking with Abstraction for Web Services	p. 121
Testing
Unit Testing BPEL Compositions	p. 149
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services	p. 173
Web Services Regression Testing	p. 205
Monitoring
Run-Time Monitoring in Service-Oriented Architectures	p. 237
Monitoring WS-Agreements: An Event Calculus-Based Approach	p. 265
Assumption-Based Composition and Monitoring of Web Services	p. 307
Reliability, Security, and Trust
Reliability Modeling and Analysis of Service-Oriented Architectures	p. 339
Vulnerability Analysis of Web-Based Applications	p. 363
Challenges of Testing Web Services and Security in SOA Implementations	p. 395
ws-Attestation: Enabling Trusted Computing on Web Services	p. 441
Index	p. 471
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.