关键词: 软件体系结构重用，反射机制，形式化，Object-Z

Abstract: Reusing software resources at early stages of software development is insufficient Reflection mechanism has been successfully applied in the reuse of code component,but scarcely applied in the reuse of architecture and its constituents. This paper proposed a reflection mechanism supporting the reuse of architectural level designs,and described the base-level element model and meta-level element model of the reflective software architecture in detail. Moreover, it formalized the basclevcl architecture model using the formal specification language-Object-Z language completely. Choosing the Connections schema as a example, this paper also gave the initial theorem and its testified process.

Key words: Reuse of software architecture, Reflection mechanism, Formalization, Object-Z