Test and analysis of web services / Luciano Baresi, Elisabetta Di Nitto (eds.)
Test and analysis of web services /
Luciano Baresi, Elisabetta Di Nitto (eds.)
- Berlín : Springer, 2007
- X, 476 p. : gráf. ; 24 cm
Índice
Bibliografía
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. A complete picture of what validating service-oriented architectures means today Índice: From the 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.- 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 Regre... Etc.
3-540-72911-9
Servicios Web
Índice
Bibliografía
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. A complete picture of what validating service-oriented architectures means today Índice: From the 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.- 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 Regre... Etc.
3-540-72911-9
Servicios Web