Modeling and analyzing software architectures

Abstract

Software architecture is recognized as an important level of design for software systems. Issues at this level include overall organization of a software system, assignment of function to computational elements, protocols of interaction, and emergent system properties such as end-to-end latencies and throughputs. Through a variety of sample architectural problems and solutions, an overview of emerging approaches to architectural modeling and an in-depth treatment of selected architectural specification, analysis, and design techniques are presented. It shows how architectural models can be used to analyze systems for consistency, completeness, and other critical properties.