Architecting Dependable Systems III

by Lemos, Rogerio De; Gacek, Cristina; Romanovsky, Alexander

• ISBN13: 9783540289685
• ISBN10: 3540289682
• Format: Paperback
• Copyright: 2005-11-15
• Publisher: Springer-Verlag New York Inc

Summary

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.

Table of Contents

Part 1. Architectures for Dependable Services
Semantics-Aware Services for the Mobile Computing Environment
Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny	1	(35)
The Role of Agreements in IT Management Software
Carlos Molina-Jimenez, Jim Pruyne, Aad van Moorsel	36	(23)
Toward Undoing in Composite Web Services
Marie-Claude Gaudel	59	(10)
Architecting Web Services Applications for Improving Availability
Rogério de Lemos	69	(23)
Dependable Composite Web Services with Components Upgraded Online
Anatoliy Gorbenko, Vyacheslav Kharchenko, Peter Popov, Alexander Romanovsky	92	(30)
Part 2. Monitoring and Reconfiguration in Software Architectures
Adaptable Analysis of Dependable System Architectures Through Monitoring
Marcio S. Dias, Debra J. Richardson	122	(26)
Runtime Verification of Statechart Implementations
Gergely Pintér, István Majzik	148	(25)
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems
Sam Malek, Nels Beckman, Marija Mikic-Rakic, Nenad Medvidovic	173	(21)
Enabling Safe Dynamic Component-Based Software Adaptation
Ji Zhang, Betty H.C. Cheng, Zhenxiao Yang, Philip K. McKinley	194	(18)
Part 3. Support for Software Architectures
Architecting and Implementing Versatile Dependability
Tudor Dumitras, Deepti Srivastava, Priya Narasimhan	212	(20)
A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers
J.H. Sowell, R.E.K. Stirewalt	232	(25)
Part 4. Architectural Evaluation
Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes
Ivica Crnkovic, Magnus Larsson, Otto Preiss	257	(22)
Architecture-Based Reliability Prediction for Service-Oriented Computing
Vincenzo Grassi	279	(21)
Fault Injection Approach Based on Architectural Dependencies
Regina Lúcia de Oliveira Moraes, Eliane Martins	300	(22)
Part 5. Architectural Abstractions for Dependability
Problem Structure and Dependable Architecture
Michael Jackson	322	(9)
The Lost Art of Abstractioll
Matti A. Hiltunen, Richard D. Schlichting	331	(12)
Author Index	343