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

摘要：

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

关键词：软件体系结构重用、反射式软件体系结构、元级体系结构模型、形式化

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金项目60473066;教育部人文社会科学研究项目09YJC870024

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：126-130