1. Architectures for Dependable Services -- Semantics-Aware Services for the Mobile Computing Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services -- Architecting Web Services Applications for Improving Availability -- Dependable Composite Web Services with Components Upgraded Online -- 2. Monitoring and Reconfiguration in Software Architectures -- Adaptable Analysis of Dependable System Architectures Through Monitoring -- Runtime Verification of Statechart Implementations -- A Framework for Ensuring and Improving Dependability in Highly Distributed Systems -- Enabling Safe Dynamic Component-Based Software Adaptation -- 3. Dependability Support for Software Architectures -- Architecting and Implementing Versatile Dependability -- A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers -- 4. Architectural Evaluation -- Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes -- Architecture-Based Reliability Prediction for Service-Oriented Computing -- Fault Injection Approach Based on Architectural Dependencies -- 5. Architectural Abstractions for Dependability -- Problem Structure and Dependable Architecture -- The Lost Art of Abstraction.

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.