一种支持软件体系结构重用的反射机制及其形式化

摘要

软件开发早期阶段软件资源的重用进展缓慢.反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用.提出了一种支持软件体系结构设计时重用的反射机制,详细描绘了基于反射机制的反射式软件体系结构的基级元素模型和元级元素模型.还用形式规格说明语言Object-Z语言对基级元素模型进行了完整的描述;以基级元素模型的连接模式Connections为例,给出了它的初始化定理及其证明过程.