Study of Consistency for Reflective Software Architecture

罗巨波,应时
DOI: https://doi.org/10.3969/j.issn.1002-137x.2010.09.037
2010-01-01
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 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.
What problem does this paper attempt to address?