Quality of Software Architectures. Models and Architectures: 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola (auth.), Steffen Becker, Frantisek Plasil, Ralf Reussner (eds.)3540878785, 9783540878780

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, and the ROSATEA 2007 event, investigating the Role of Software Architecture for Testing and Analysis, forming the federated events on Component-Based Software Engineering and Software Architecture, CompArch 2007.

The 13 revised full papers presented together with 1 keynote lecture were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge.

Table of contents :
Front Matter….Pages –
Rethinking the Use of Models in Software Architecture….Pages 1-27
Design Reasoning Improves Software Design Quality….Pages 28-42
A Tool to Visualize Architectural Design Decisions….Pages 43-54
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems….Pages 55-70
Carmen: Software Component Model Checker….Pages 71-85
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis….Pages 86-102
Designing the Enterprise Architecture Function….Pages 103-118
Quality Prediction of Service Compositions through Probabilistic Model Checking….Pages 119-134
Model-Driven Performance Analysis….Pages 135-151
Architectural Specification and Static Analyses of Contractual Application Properties….Pages 152-170
Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant….Pages 171-188
Middleware Architecture Evaluation for Dependable Self-managing Systems….Pages 189-204
Comprehensive Architecture Evaluation and Management in Large Software-Systems….Pages 205-219
Sharing the Architectural Knowledge of Quantitative Analysis….Pages 220-234
Back Matter….Pages –