摘要
软件开发早期阶段软件资源的重用进展缓慢。反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用。提出了一种支持软件体系结构设计时重用的反射机制,详细描绘了基于反射机制的反射式软件体系结构的基级元素模型和元级元素模型。还用形式规格说明语言Object-Z语言对基级元素模型进行了完整的描述;以基级元素模型的连接模式Connections为例,给出了它的初始化定理及其证明过程。
Reusing software resources at early stages of software development is insufficient. Reflection mechanism has been successfully applied in the reuse of code component, but scarcely applied in the reuse of architecture and its constituents. This paper proposed a reflection mechanism supporting the reuse of architectural level designs, and described the base-level element model and meta-level element model of the reflective software architecture in detail. Moreover, it formalized the base-level architecture model using the formal specification language- Object-Z language completely. Choosing the Connections schema as a example,this paper also gave the initial theorem and its testified process.
出处
《计算机科学》
CSCD
北大核心
2009年第8期145-148,共4页
Computer Science
基金
国家自然科学基金(60473066)资助
