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

This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany in April 2005. The 15 revised full papers presented together with a keynote talk were carefully selected for inclusion in the book. The papers are organized in topical sections on data and computation availability, specifying, modeling and verifying service availability, high-availability by service-oriented architectures, modeling and composition, and verification and availability assessment. Front Matter....Pages - TTA Supported Service Availability....Pages 1-14 The Value of Conformance Testing and a Look at the SAF Test Project....Pages 15-24 Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application....Pages 25-38 Using Logical Data Protection and Recovery to Improve Data Availability....Pages 39-51 Contract-Based Web Service Composition Framework with Correctness Guarantees....Pages 52-67 Practical Approach to Specification and Conformance Testing of Distributed Network Applications....Pages 68-83 Model-Based Optimization of Enterprise Application and Service Deployment....Pages 84-98 On Best-Effort and Dependability, Service-Orientation and Panacea....Pages 99-101 Are Service-Oriented Architectures the Panacea for a High-Availability Challenge?....Pages 102-106 Modeling User-Perceived Service Availability....Pages 107-122 Dependable Distributed Computing Using Free Databases....Pages 123-136 A Compositional Framework for Real-Time Embedded Systems....Pages 137-148 On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management....Pages 149-163 Proof-Based System Engineering Using a Virtual System Model....Pages 164-179 Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures....Pages 180-195 Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability....Pages 196-211 Back Matter....Pages - Constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany. This book includes 15 full papers, organized in topical sections on data and computation availability, specifying, modeling and verifying service availability, modeling and composition, and others.