Test and Analysis of Web Services 2007
Luciano Baresi, Elisabetta Di Nitto (Eds.): Test and Analysis of Web Services. Springer 2007 ISBN 978-3-540-72912-9
Introduction
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
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

Khaled Mahbub, George Spanoudakis: Monitoring WS-Agreement s: An Event Calculus-Based Approach. 265-306
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



