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

作者：罗巨波; 应时

来源：计算机科学, 2010, (09): 157-160+233.

• 软件体系结构重用
• 反射式软件体系结构
• 一致性 Reuse of software architecture
• Reflective software architecture
• Consistency

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

• 单位
  重庆理工大学; 武汉大学; 软件工程国家重点实验室