Study of Consistency for Reflective Software Architecture
Ying Shi · 2010
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 base-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.