反射式软件体系结构一致性研究

Study of Consistency for Reflective Software Architecture

给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程。

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.