Test and analysis of Web services
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [Germany] ; New York :
Springer ,
c2007
|
| Subjects: |
Table of Contents:
- 1. Introduction
- 2. Specifying and nonitoring service flows:making web services prosess - aware
- 3. Analyzing conversation realizability, synchronizability, and verifacation
- 5.model checking with abstraction for web services
- 6.Unit testing BPEL compositions
- 7.A model driven approach to discovery, testing and monitoring of web services
- 8.Web services - oriented architectures
- 9.Run time monitoring in service - oriented
- 10.Monitoring WS-agreements: an evevt calculus -based approach
- 11.assumption - based composition and monitoring of web
- 12.Reability modelling and analysis of service - oriented architectures
- 13.Vulnerability analysis of web - based applications
- 14.challengers of testing web services and security in SOA implementation
- 15.ws- attestation enabling trusted computing of web services