Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers: 3694 (Lecture Notes in Computer Science, 3694) - Softcover

Softcover

ISBN 10: 3540291032 ISBN 13: 9783540291039

Publisher: Springer, 2005

Synopsis

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

About this title

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2005
• Language: English
• ISBN 10: 3540291032
• ISBN 13: 9783540291039
• Binding: Paperback
• Number of pages: 224
• Editor: Malek Miroslaw, Nett Edgar, Suri Neeraj