关键词: 软件体系结构重用，反射式软件体系结构，一致性

Abstract: This paper proposed a reflective software architecture supporting the reuse of architectural level designs, and describes the reuse operatins based on formal specification language---Object-Z. Moreover, it defined the characters of meta-level and bas}level of the reflective software architecture. Finally, it provided proof method and process of consistency of base-level and meta-level for the reflective software architecture after the reuse operations.

Key words: Reuse of software architecture, Reflective software architecture, Consistency