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

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