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 ...