Service Availability
Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
Published on 22. September 2005
Book
Paperback/Softback
VIII, 216 pages
978-3-540-29103-9 (ISBN)
Description
much! Last but not least we would like to thank Manfred Reitenspiess who has been the guiding force behind ISAS and the Service Availability Forum. I hope that the attendees enjoyed the ?nal program, enjoyed the presen- tions, got involved in the discussions, struck up new friendships, and got ins- ration for contributions to the next year's symposium which will be hosted by KimmoRaatikainen,UniversityofHelsinkiandFrancisTamofNokiainHelsinki during May 15-16, 2006. Miroslaw Malek Neeraj Suri Humboldt Universit. at Berlin Technische Universit. at Darmstadt Institut fur .. Informatik Institut furInformatik malek@informatik. hu-berlin. de suri@informatik. tu-darmstadt. de ISAS 2005 General Chair ISAS 2005 Program Chair Table of Contents TTA Supported Service Availability Hermann Kopetz ...1 The Value of Conformance Testing and a Look at the SAF Test Project Bob Spencer...15 Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application Ajay Kamalvanshi, Timo Jokiaho...25 Using Logical Data Protection and Recovery to Improve Data Availability Wei Hu...39 Contract-Based Web Service Composition Framework with Correctness Guarantees Nikola Milanovic...5
2 Practical Approach to Speci?cation and Conformance Testing of Distributed Network Applications Victor V. Kuliamin, Nickolay V. Pakoulin, Alexander K. Petrenko ...68 Model-Based Optimization of Enterprise Application and Service Deployment Andr' as Balogh, Dan ' iel Varro, ' Andr' as Pataricza ...84 On Best-E?ort and Dependability, Service-Orientation and Panacea Aad van Moorsel...99 Are Service-Oriented Architectures the Panacea for a High-Availability Challenge? Guido Laures...102 Modeling User-Perceived Service Availability Dazhi Wang, Kishor S. Trivedi ...
2 Practical Approach to Speci?cation and Conformance Testing of Distributed Network Applications Victor V. Kuliamin, Nickolay V. Pakoulin, Alexander K. Petrenko ...68 Model-Based Optimization of Enterprise Application and Service Deployment Andr' as Balogh, Dan ' iel Varro, ' Andr' as Pataricza ...84 On Best-E?ort and Dependability, Service-Orientation and Panacea Aad van Moorsel...99 Are Service-Oriented Architectures the Panacea for a High-Availability Challenge? Guido Laures...102 Modeling User-Perceived Service Availability Dazhi Wang, Kishor S. Trivedi ...
More details
Series
Edition
2005 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 216 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
353 gr
ISBN-13
978-3-540-29103-9 (9783540291039)
DOI
10.1007/11560333
Schweitzer Classification
Content
TTA Supported Service Availability.- The Value of Conformance Testing and a Look at the SAF Test Project.- Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application.- Using Logical Data Protection and Recovery to Improve Data Availability.- Contract-Based Web Service Composition Framework with Correctness Guarantees.- Practical Approach to Specification and Conformance Testing of Distributed Network Applications.- Model-Based Optimization of Enterprise Application and Service Deployment.- On Best-Effort and Dependability, Service-Orientation and Panacea.- Are Service-Oriented Architectures the Panacea for a High-Availability Challenge?.- Modeling User-Perceived Service Availability.- Dependable Distributed Computing Using Free Databases.- A Compositional Framework for Real-Time Embedded Systems.- On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management.- Proof-Based System Engineering Using a Virtual System Model.- Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.- Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability.