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

by Becker, Steffen; Plasil, Frantisek; Reussner, Ralf

• ISBN13: 9783540878780
• ISBN10: 3540878785
• Format: Paperback
• Copyright: 2008-11-01
• Publisher: Springer Verlag

Summary

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

Rethinking the Use of Models in Software Architecture	p. 1
Design Reasoning Improves Software Design Quality	p. 28
A Tool to Visualize Architectural Design Decisions	p. 43
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems	p. 55
Carmen: Software Component Model Checker	p. 71
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis	p. 86
Designing the Enterprise Architecture Function	p. 103
Quality Prediction of Service Compositions through Probabilistic Model Checking	p. 119
Model-Driven Performance Analysis	p. 135
Architectural Specification and Static Analyses of Contractual Application Properties	p. 152
Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant	p. 171
Middleware Architecture Evaluation for Dependable Self-managing Systems	p. 189
Comprehensive Architecture Evaluation and Management in Large Software-Systems	p. 205
Sharing the Architectural Knowledge of Quantitative Analysis	p. 220
Author Index	p. 235
Table of Contents provided by Blackwell. All Rights Reserved.