Skip to main content
  • Book
  • © 2007

Test and Analysis of Web Services

  • A complete picture of what validating service-oriented architectures means today

  • A comprehensive survey of state-of-the-art approaches and tools for validating service-oriented applications

  • Detailed guidelines for the actual validation process

  • References and scenarios for future research and development

  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 chapters)

  1. Front Matter

    Pages I-X
  2. Introduction

    1. Front Matter

      Pages 1-1
    2. Introduction

      • Luciano Baresi, Elisabetta Di Nitto
      Pages 1-7
  3. Analysis

    1. Front Matter

      Pages 9-9
    2. Analyzing Conversations: Realizability, Synchronizability, and Verification

      • Tevfik Bultan, Xiang Fu, Jianwen Su
      Pages 57-85
    3. WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography

      • Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
      Pages 87-119
    4. Model Checking with Abstraction for Web Services

      • Natasha Sharygina, Daniel Kröning
      Pages 121-145
  4. Testing

    1. Front Matter

      Pages 147-147
    2. Unit Testing BPEL Compositions

      • Daniel Lübke
      Pages 149-171
    3. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services

      • Marc Lohmann, Leonardo Mariani, Reiko Heckel
      Pages 173-204
    4. Web Services Regression Testing

      • Massimiliano Di Penta, Marcello Bruno, Gianpiero Esposito, Valentina Mazza, Gerardo Canfora
      Pages 205-234
  5. Monitoring

    1. Front Matter

      Pages 235-235
    2. Run-Time Monitoring in Service-Oriented Architectures

      • Carlo Ghezzi, Sam Guinea
      Pages 237-264
    3. Monitoring WS-Agreements: An Event Calculus–Based Approach

      • Khaled Mahbub, George Spanoudakis
      Pages 265-306
    4. Assumption-Based Composition and Monitoring of Web Services

      • Marco Pistore, Paolo Traverso
      Pages 307-335
  6. Reliability, Security, and Trust

    1. Front Matter

      Pages 337-337
    2. Reliability Modeling and Analysis of Service-Oriented Architectures

      • Vittorio Cortellessa, Vincenzo Grassi
      Pages 339-362
    3. Vulnerability Analysis of Web-based Applications

      • Marco Cova, Viktoria Felmetsger, Giovanni Vigna
      Pages 363-394
    4. Challenges of Testing Web Services and Security in SOA Implementations

      • Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch, Lorenzo Martino
      Pages 395-440

About this book

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.

Editors and Affiliations

  • Dipto. Elettronica Informazione, Politecnico di Milano, Italy

    Luciano Baresi, Elisabetta Di Nitto

About the editors

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.

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access