Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Test and Analysis of Web Services

Editors: Baresi, Luciano (Ed.)

Free Preview
  • A complete picture of what validating service-oriented architectures means today
  • A comprehensive survey of state-of-the-art approaches and tools for validating service-oriented applications
  • Detailed guidelines for the actual validation process
  • References and scenarios for future research and development
see more benefits

Buy this book

eBook 83,29 €
price for Spain (gross)
  • ISBN 978-3-540-72912-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 103,99 €
price for Spain (gross)
  • ISBN 978-3-540-72911-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 103,99 €
price for Spain (gross)
  • ISBN 978-3-642-09200-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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 of service-oriented applications means their validation is a continuous process that often runs in parallel with execution. It is not possible to clearly distinguish between the predeployment validation of a system and its use, nor is it possible to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment as well.

Baresi and Di Nitto have put together the first reference on all aspects of testing and validating service-oriented architectures, taking into account these 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.

About the authors

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.

Table of contents (15 chapters)

Table of contents (15 chapters)
  • Introduction

    Pages 1-7

    Baresi, Luciano (et al.)

  • Specifying and Monitoring Service Flows: Making Web Services Process-Aware

    Pages 11-55

    Aalst, W.M.P. van der (et al.)

  • Analyzing Conversations: Realizability, Synchronizability, and Verification

    Pages 57-85

    Bultan, Tevfik (et al.)

  • WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography

    Pages 87-119

    Foster, Howard (et al.)

  • Model Checking with Abstraction for Web Services

    Pages 121-145

    Sharygina, Natasha (et al.)

Buy this book

eBook 83,29 €
price for Spain (gross)
  • ISBN 978-3-540-72912-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 103,99 €
price for Spain (gross)
  • ISBN 978-3-540-72911-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 103,99 €
price for Spain (gross)
  • ISBN 978-3-642-09200-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Test and Analysis of Web Services
Editors
  • Luciano Baresi
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-72912-9
DOI
10.1007/978-3-540-72912-9
Hardcover ISBN
978-3-540-72911-2
Softcover ISBN
978-3-642-09200-8
Edition Number
1
Number of Pages
X, 478
Number of Illustrations
140 b/w illustrations
Topics