Beschreibung

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

Klappentext

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.

Produktinformationen

Titel:	Service Availability
Untertitel:	Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
Editor:	Miroslaw Malek   Edgar Nett   Neeraj Suri
EAN:	9783540291039
ISBN:	978-3-540-29103-9
Format:	Kartonierter Einband
Herausgeber:	Springer, Berlin
Genre:	Informatik
Anzahl Seiten:	216
Gewicht:	720g
Größe:	H235mm x B235mm x T155mm
Jahr:	2005
Untertitel:	Englisch
Auflage:	2005