Research on ReflectiveArchitecture Formalism Based on Object-Z
Ying Shi · 2010
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 meta-level architecture model using the formal specification language--Object-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.