Test and Analysis of Web Services 2007

Introduction

• Luciano Baresi, Elisabetta Di Nitto:
  Introduction. 1-7
  

Analysis

• Wil M. P. van der Aalst, Maja Pesic:
  Specifying and Monitoring Service Flows: Making Web Services Process-Aware. 11-55
  
• Tevfik Bultan, Xiang Fu, Jianwen Su:
  Analyzing Conversations: Realizability, Synchronizability, and Verification. 57-85
  
• Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
  WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. 87-119
  
• Natasha Sharygina, Daniel Kröning:
  Model Checking with Abstraction for Web Services. 121-145
  

Testing

• Daniel Lübke:
  Unit Testing BPEL Compositions. 149-171
  
• Marc Lohmann, Leonardo Mariani, Reiko Heckel:
  A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. 173-204
  
• Massimiliano Di Penta, Marcello Bruno, Gianpiero Esposito, Valentina Mazza, Gerardo Canfora:
  Web Services Regression Testing. 205-234
  

Monitoring

• Carlo Ghezzi, Sam Guinea:
  Run-Time Monitoring in Service-Oriented Architectures. 237-264
  
• Khaled Mahbub, George Spanoudakis:
  Monitoring WS-Agreement s: An Event Calculus-Based Approach. 265-306
  
• Marco Pistore, Paolo Traverso:
  Assumption-Based Composition and Monitoring of Web Services. 307-335
  

Reliability, Security, and Trust

• Vittorio Cortellessa, Vincenzo Grassi:
  Reliability Modeling and Analysis of Service-Oriented Architectures. 339-362
  
• Marco Cova, Viktoria Felmetsger, Giovanni Vigna:
  Vulnerability Analysis of Web-based Applications. 363-394
  
• Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch, Lorenzo Martino:
  Challenges of Testing Web Services and Security in SOA Implementations. 395-440
  
• Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Takuya Mishina, Hiroshi Maruyama:
  ws-Attestation: Enabling Trusted Computing on Web Services. 441-469