Abstract: Prediction of the quality attributes of software architectures requires technologies that enable the application of analyt ic theories to component mode ls. However, available analytic techniques generally opera te on formal models specified in notations that cannot flexibly and intuitively capture the architectures of large- scale distributed system s. The construction of model interpreters that transform architectural m odels into analysis mode ls has proved to be a complex and difficult task. This paper (1) de scribes a methodology for performing automated analysis of architectural models that simplifies the development of model interpreters and enables effective reuse of interpreter logic, an d (2) demonstrates how a framework that utilizes the methodology can be designed, implemented, utilized, and evaluated.