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