Research Catalog

Title

Test and analysis of Web services / Luciano Baresi, Elisabetta di Nitto.

Author

Baresi, Luciano.

Publication

Berlin [Germany] ; New York : Springer, [2007], ©2007.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Di Nitto, Elisabetta.

Description

x, 476 pages : illustrations; 25 cm

Summary

"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."--BOOK JACKET.

Subject

• Web services > Testing

Bibliography (note)

• Includes bibliographical references and index.

Contents

1. Introduction / Luciano Baresi and Elisabetta Di Nitto -- Pt. I. Analysis -- 2. Specifying and Monitoring Service Flows: Making Web Services Process-Aware / W. M. P. van der Aalst and M. Pesic -- 3. Analyzing Conversations: Realizability, Synchronizability, and Verification / Tevfik Bultan, Xiang Fu and Jianwen Su -- 4. WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography / Howard Foster, Sebastian Uchitel, Jeff Magee and Jeff Kramer -- 5. Model Checking with Abstraction for Web Services / Natasha Sharygina and Daniel Kroning -- Pt. II. Testing -- 6. Unit Testing BPEL Compositions / Daniel Lubke -- 7. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services / Marc Lohmann, Leonardo Mariani and Reiko Heckel -- 8. Web Services Regression Testing / Massimiliano Di Penta, Marcello Brun, Gianpiero Esposito, Valentina Mazza and Gerardo Canfora -- Pt. III. Monitoring -- 9. Run-Time Monitoring in Service-Oriented Architectures / Carlo Ghezzi and Sam Guinea -- 10. Monitoring WS-Agreements: An Event Calculus-Based Approach / Khaled Mahbub and George Spanoudakis -- 11. Assumption-Based Composition and Monitoring of Web Services / Marco Pistore and Paolo Traverso -- Pt. IV. Reliability, Security, and Trust -- 12. Reliability Modeling and Analysis of Service-Oriented Architectures / Vittorio Cortellessa and Vincenzo Grassi -- 13. Vulnerability Analysis of Web-Based Applications / Marco Cova, Viktoria Felmetsger and Giovanni Vigna -- 14. Challenges of Testing Web Services and Security in SOA Implementations / Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch and Lorenzo Martino -- 15. sw-Attestation: Enabling Trusted Computing on Web Services / Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Takuya Mishina and Hiroshi Maruyama.

ISBN

• 9783540729112 (hbk. : alk. paper)
• 3540729119 (hbk. : alk. paper)

LCCN

2007929741

OCLC

• ocn154712386
• 154712386
• SCSB-5387065

Owning Institutions

Columbia University Libraries