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

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