2007

Test and Analysis of Web Services

Editors:

ISBN: 978-3-540-72911-2 (Print) 978-3-540-72912-9 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages I-X

  2. Introduction

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 1-7

      Introduction

  3. Analysis

    1. Front Matter

      Pages 9-9

    2. No Access

      Book Chapter

      Pages 11-55

      Specifying and Monitoring Service Flows: Making Web Services Process-Aware

    3. No Access

      Book Chapter

      Pages 57-85

      Analyzing Conversations: Realizability, Synchronizability, and Verification

    4. No Access

      Book Chapter

      Pages 87-119

      WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography

    5. No Access

      Book Chapter

      Pages 121-145

      Model Checking with Abstraction for Web Services

  4. Testing

    1. Front Matter

      Pages 147-147

    2. No Access

      Book Chapter

      Pages 149-171

      Unit Testing BPEL Compositions

    3. No Access

      Book Chapter

      Pages 173-204

      A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services

    4. No Access

      Book Chapter

      Pages 205-234

      Web Services Regression Testing

  5. Monitoring

    1. Front Matter

      Pages 235-235

    2. No Access

      Book Chapter

      Pages 237-264

      Run-Time Monitoring in Service-Oriented Architectures

    3. No Access

      Book Chapter

      Pages 265-306

      Monitoring WS-Agreements: An Event Calculus–Based Approach

    4. No Access

      Book Chapter

      Pages 307-335

      Assumption-Based Composition and Monitoring of Web Services

  6. Reliability, Security, and Trust

    1. Front Matter

      Pages 337-337

    2. No Access

      Book Chapter

      Pages 339-362

      Reliability Modeling and Analysis of Service-Oriented Architectures

    3. No Access

      Book Chapter

      Pages 363-394

      Vulnerability Analysis of Web-based Applications

    4. No Access

      Book Chapter

      Pages 395-440

      Challenges of Testing Web Services and Security in SOA Implementations

    5. No Access

      Book Chapter

      Pages 441-469

      ws-Attestation: Enabling Trusted Computing on Web Services

  7. Back Matter

    Pages 471-474