000 | 04062nam a22004695i 4500 | ||
---|---|---|---|
001 | 978-3-540-72912-9 | ||
003 | DE-He213 | ||
005 | 20161121230615.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 |
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 |
_aX, 478 p. 140 illus. _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 failures. | |
650 | 0 | _aSoftware engineering. | |
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 |
_aBaresi, Luciano. _eeditor. |
|
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 | ||
950 | _aComputer Science (Springer-11645) | ||
999 |
_c501283 _d501283 |