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.
Author(s): H. Kopetz (auth.), Miroslaw Malek, Edgar Nett, Neeraj Suri (eds.)
Series: Lecture Notes in Computer Science 3694 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 216
Tags: Computer Communication Networks; Information Systems Applications (incl.Internet); Information Storage and Retrieval; Software Engineering; Management of Computing and Information Systems; Communications Engineering, Networks
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 -
