基于Object-Z的ReflectiveArchitecture形式化研究

作者：罗巨波; 应时

来源：计算机科学, 2010, (11): 126-130.

• 软件体系结构重用
• 反射式软件体系结构
• 元级体系结构模型
• 形式化 Reuse of software architecture
• Reflective software architecture
• Meta-level architecture model
• Formalization

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMR-SA。描绘了基于反射机制RMRSA的反射式软件体系结构Reflective Architecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。

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