Abstract: Banding together meta information, meta modeling, reflection and software architecture, we presented a method of reusing software architecture based on reflection mechanism. It is a more versatile and convenient method. This mothod has defined and constructed a reflection mechanism RMRSA for software architecture reuse at software design phase. This paper described the meta-level architecture model of the reflective software architecture based on RMRSA.Moreover, it formalized the metes level architecture model using the formal specification languag—Objcet-Z completely.Taking the Link schema as an example, this paper also gave the initial theorem and its testified process, so as to testify the correctness of the formalized reflective software architecture.

Key words: Reuse of software architecture, Reflective software architecture, Meta level architecture model, Formalization