Test and Analysis of Web Services

2007
ISBN: 978-3-540-72911-2
Verlag: Springer Berlin Heidelberg

Buch, Englisch, 478 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 893 g

The authors of this book have put together the first reference on all aspects of testing and validating service-oriented architectures, taking into account inherent intricacies. The contributions by leading academic and industrial research groups are structured into four parts on: static analysis to acquire insight into how the system is supposed to work; testing techniques to sample its actual behavior; monitoring to probe its operational performance; and nonfunctional requirements like reliability and trust. This monograph is an initial source of knowledge for researchers in both academia and industry in the field of service-oriented architecture validation and verification approaches. They will find a comprehensive survey of state-of-the-art approaches as well as techniques and tools to improve the quality of service-oriented applications.

Zielgruppe

Research

Autoren/Hrsg.

Baresi, Luciano

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Wirtschaftswissenschaften Wirtschaftssektoren & Branchen Medien-, Informations und Kommunikationswirtschaft Informationstechnik, IT-Industrie
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management

Inhaltsverzeichnis

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.

Über Autor(innen)

Luciano Baresi is associate professor at Dipartimento di Elettronica e Informazione at Politecnico di Milano. Luciano has published and presented some 50 papers on the most important national and international journals and conferences. His research interests are on dynamic software architectures, with special emphasis service-oriented applications.

Elisabetta Di Nitto is associate professor at Dipartimento di Elettronica e Informazione at Politecnico di Milano. Her current research interests are mainly on software engineering, and in particular, on process support systems, service-centric applications and dynamic software architectures.