000 04077nam a22004815i 4500
001 978-3-540-72912-9
003 DE-He213
005 20170628034722.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540729129
_9978-3-540-72912-9
024 7 _a10.1007/978-3-540-72912-9
_2doi
050 4 _aQA76.76.A65
072 7 _aUNH
_2bicssc
072 7 _aUDBD
_2bicssc
072 7 _aCOM032000
_2bisacsh
082 0 4 _a005.7
_223
100 1 _aBaresi, Luciano.
_eeditor.
245 1 0 _aTest and Analysis of Web Services
_h[electronic resource] /
_cedited by Luciano Baresi, Elisabetta Di Nitto.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aAnalysis -- Specifying and Monitoring Service Flows: Making Web Services Process-Aware -- Analyzing Conversations: Realizability, Synchronizability, and Verification -- WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography -- Model Checking with Abstraction for Web Services -- Testing -- Unit Testing BPEL Compositions -- A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services -- Web Services Regression Testing -- Monitoring -- Run-Time Monitoring in Service-Oriented Architectures -- Monitoring WS-Agreements: An Event Calculus–Based Approach -- Assumption-Based Composition and Monitoring of Web Services -- Reliability, Security, and Trust -- Reliability Modeling and Analysis of Service-Oriented Architectures -- Vulnerability Analysis of Web-based Applications -- Challenges of Testing Web Services and Security in SOA Implementations -- ws-Attestation: Enabling Trusted Computing on Web Services.
520 _aThe 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.
650 0 _aComputer science.
650 0 _aComputer system performance.
650 0 _aSoftware engineering.
650 0 _aInformation systems.
650 1 4 _aComputer Science.
650 2 4 _aInformation Systems Applications (incl.Internet).
650 2 4 _aSoftware Engineering.
650 2 4 _aSystem Performance and Evaluation.
700 1 _aNitto, Elisabetta Di.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540729112
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-72912-9
912 _aZDB-2-SCS
999 _c21174
_d21174