Test and Analysis of Web Services

• Corporate Author: SpringerLink (Online service)
• Other Authors: Baresi, Luciano (Editor), Nitto, Elisabetta Di (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Subjects: Computer science.; Computer system failures.; Software engineering.; Computer Science.; Information Systems Applications (incl. Internet).; Software Engineering.; System Performance and Evaluation.

The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration. The highly dynamic characteristics...

Table of Contents:

• Analysis
• Specifying and Monitoring Service Flows: Making Web Services Process-Aware
• Analyzing Conversations: Realizability, Synchronizability, and Verification
• WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography
• Model Checking with Abstraction for Web Services
• Testing
• Unit Testing BPEL Compositions
• A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
• Web Services Regression Testing
• Monitoring
• Run-Time Monitoring in Service-Oriented Architectures
• Monitoring WS-Agreements: An Event Calculus–Based Approach
• Assumption-Based Composition and Monitoring of Web Services
• Reliability, Security, and Trust
• Reliability Modeling and Analysis of Service-Oriented Architectures
• Vulnerability Analysis of Web-based Applications
• Challenges of Testing Web Services and Security in SOA Implementations
• ws-Attestation: Enabling Trusted Computing on Web Services.