Service Availability

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