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

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

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

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

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

Last update Fri May 25 08:42:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page