Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers

Front Cover
Springer Science & Business Media, Sep 22, 2005 - Business & Economics - 211 pages
much! Last but not least we would like to thank Manfred Reitenspie▀ 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 fu ̈rInformatik 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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
 

What people are saying - Write a review

User Review - Flag as inappropriate

According to Malek, Nett and Suri (2005) Hardware failures lead to data corruptions, among most hardware failures, hard disk failures are considered very serious and famous, hard disk failure is random

Selected pages

Contents

TTA Supported Service Availability
1
The Value of Conformance Testing and a Look at the SAF Test Project
15
A Case Study of GGSN Application
25
Using Logical Data Protection and Recovery to Improve Data Availability
39
ContractBased Web Service Composition Framework with Correctness Guarantees
52
Practical Approach to Specification and Conformance Testing of Distributed Network Applications
68
ModelBased Optimization of Enterprise Application and Service Deployment
84
On BestEffort and Dependability ServiceOrientation and Panacea
99
Modeling UserPerceived Service Availability
107
Dependable Distributed Computing Using Free Databases
123
A Compositional Framework for RealTime Embedded Systems
137
On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management
149
ProofBased System Engineering Using a Virtual System Model
164
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures
180
Characterizing Session Initiation Protocol SIP Network Performance and Reliability
196
Author Index
212

Are ServiceOriented Architectures the Panacea for a HighAvailability Challenge?
102

Other editions - View all

Common terms and phrases