Test and Analysis of Web Services

Description

In this hugely topical book, the authors have put together the first reference on all aspects of testing and validating service-oriented architectures.

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 either to clearly distinguish between the pre-deployment validation of a system and its use, or to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment.

This book explores these inherent intricacies and its expert contributors offer detailed guidelines for the actual validation process.

The text is well structured, dividing the subject into four parts: 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.

Readers 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. Usefully, there are also references and scenarios for future research and development.

Contents

1 Introduction

Luciano Baresi and Elisabetta Di Nitto

Part I Analysis

2 Specifying and Monitoring Service Flows: Making Web

Services Process-Aware

W.M.P. van der Aalst and M. Pesic

3 Analyzing Conversations: Realizability, Synchronizability,

and Verification

Tevfik Bultan, Xiang Fu and Jianwen Su.

4 WS-Engineer: A Model-Based Approach to Engineering

Web Service Compositions and Choreography

Howard Foster, Sebastian Uchitel, Jeff Magee and Jeff Kramer

5 Model Checking with Abstraction for Web Services

Natasha Sharygina and Daniel Kroning

Part II Testing

6 Unit Testing BPEL Compositions

Daniel Lubke

7 A Model-Driven Approach to Discovery, Testing

and Monitoring of Web Services

Marc Lohmann, Leonardo Mariani and Reiko Heckel

8 Web Services Regression Testing

Massimiliano Di Penta, Marcello Bruno, Gianpiero Esposito,

Valentina Mazza and Gerardo Canfora

Part III Monitoring

9 Run-Time Monitoring in Service-Oriented Architectures

Carlo Ghezzi and Sam Guinea

10 Monitoring WS-Agreement s: An Event Calculus - Based

Approach

Khaled Mahbub and George Spanoudakis

11 Assumption-Based Composition and Monitoring of Web

Services

Marco Pistore and Paolo Traverso

Part IV Reliability, Security, and Trust

12 Reliability Modeling and Analysis of Service-Oriented

Architectures

Vittorio Cortellessa and Vincenzo Grassi

13 Vulnerability Analysis of Web-Based Applications

Marco Cova, Viktoria Felmetsger and Giovanni Vigna

14 Challenges of Testing Web Services and Security in SOA

Implementations

Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch

and Lorenzo Martino

15 ws-Attestation: Enabling Trusted Computing on Web

Services

Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh,

Takuya Mishina and Hiroshi Maruyama

Index