Test and Analysis of Web Services

1. Introduction
Luciano Baresi, Elisabetta Di Nitto

Part I. Analysis

2. Specifying and Monitoring Service Flows: Making Web Services Process-Aware
W.M.P. van der Aalst, M. Pesic

3. Analyzing Conversations: Realizability, Synchronizability, and Verification
Tevfik Bultan, Xiang Fu, Jianwen Su

4. WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

5. Model Checking with Abstraction for Web Services
Natasha Sharygina, Daniel Kröning

Part II. Testing

6. Unit Testing BPEL Compositions
Daniel Lübke

7. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
Marc Lohmann, Leonardo Mariani, Reiko Heckel

8. Web Services Regression Testing
Massimiliano Di Penta, Marcello Bruno, Gianpiero Esposito, Valentina Mazza, Gerardo Canfora

Part III. Monitoring

9. Run-Time Monitoring in Service-Oriented Architectures
Carlo Ghezzi, Sam Guinea

10. Monitoring WS-Agreements: An Event Calculus–Based Approach
Khaled Mahbub, George Spanoudakis

11. Assumption-Based Composition and Monitoring of Web Services
Marco Pistore, Paolo Traverso

Part IV. Reliability, Security, and Trust

12. Reliability Modeling and Analysis of Service-Oriented Architectures
Vittorio Cortellessa, Vincenzo Grassi

13. Vulnerability Analysis of Web-based Applications
Marco Cova, Viktoria Felmetsger, Giovanni Vigna

14. Challenges of Testing Web Services and Security in SOA Implementations
Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch, Lorenzo Martino

15. ws-Attestation: Enabling Trusted Computing on Web Services
Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Takuya Mishina, Hiroshi Maruyama

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: COMPUTERS / Computer Science COM014000