2007, ISBN: 9783540729129

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 m… More...

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. TOC: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.- WS-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-Calculus-Based Approach (Mahbub, Spanoudakis).- Assumption-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).- WS-Attestation: Enabling Trusted Computing on Web Services (Yoshihama, Ebringer, Nakamura, Munetoh, Mishina, Maruyama). eBook Springer PDF, Springer, 13.09.2007, Springer, 2007<

2007, ISBN: 9783540729129

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 m… More...

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. TOC: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.- WS-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-Calculus-Based Approach (Mahbub, Spanoudakis).- Assumption-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).- WS-Attestation: Enabling Trusted Computing on Web Services (Yoshihama, Ebringer, Nakamura, Munetoh, Mishina, Maruyama). eBook Springer 13.09.2007, Springer, Springer<

2007, ISBN: 9783540729129

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 m… More...

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. TOC: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.- WS-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-Calculus-Based Approach (Mahbub, Spanoudakis).- Assumption-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).- WS-Attestation: Enabling Trusted Computing on Web Services (Yoshihama, Ebringer, Nakamura, Munetoh, Mishina, Maruyama). eBook Springer 13.09.2007, Springer, Springer<

ISBN: 9783540729129

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 m… More...

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. Books > Computer Science eBook, Springer Shop<

ISBN: 9783540729129

; PDF; Business,Finance and Law > Industry & industrial studies > Media, information & communication indust, Peter Lang GmbH, Internationaler Verlag der Wissen