- Full Description
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.
- Table of Contents
Table of Contents
- Part I: Analysis: Specifiying and Monitoring Service Flows: Making Web Services Process
- Aware (van der Aalst, Pesic.
- Analyzing Conversations: Realzability, Synchronizability, and Verification (Bultan, Fu, Su.
- Engineer: A Model
- Based Approach to Engineering Web Service Compositions and Choreography (Foster, Uchitel, Magee, Kramer).
- Model Checking with Abstraction for Web Services (Sharygina, Kröning).
- Part II: Testing: Unit Testing BPEL Compositions (Lübke).
- A Model
- Driven Approach to Discovery, Testing, and Monitoring of Web Services (Lohmann, Mariani, Heckel).
- Web Services Regression Testing (Di Penta, Bruno, Esposito, Mazza, Canfora).
- Part III: Monitoring: Run
- Time Monitoring in SOAs (Ghezzi, Guinea).
- Monitoring WS
- Agreements: An Event
- Based Approach (Mahbub, Spanoudakis).
- Based Composition and Monitoring of Web Services (Pistore, Traverso).
- Part IV: Reliability, Security, and Trust: Reliability Modeling and Analysis of SOAs (Cortelessa, Grassi).
- Vulnerability Analysis of Web
- Based Applications (Cova, Felmetsger, Vigna).
- Challenges of Testing Web Services and Security in SOA Implementations (Barbir, Hobbs, Bertino, Hirsch, Martino).
- Attestation: Enabling Trusted Computing on Web Services (Yoshihama, Ebringer, Nakamura, Munetoh, Mishina, Maruyama).
Please Login to submit errata.No errata are currently published