| 一种支持软件体系结构重用的反射机制及其形式化 |
| |
| 引用本文： | 罗巨波,应时,叶鹏.一种支持软件体系结构重用的反射机制及其形式化[J].计算机科学,2009,36(8):145-148. |
| |
| 作者姓名： | 罗巨波 应时 叶鹏 |
| |
| 作者单位： | 1. 武汉大学软件工程国家重点实验室,武汉,430072;武汉科技大学管理学院,武汉,430081
2. 武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 摘 要： | 软件开发早期阶段软件资源的重用进展缓慢.反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用.提出了一种支持软件体系结构设计时重用的反射机制,详细描绘了基于反射机制的反射式软件体系结构的基级元素模型和元级元素模型.还用形式规格说明语言Object-Z语言对基级元素模型进行了完整的描述;以基级元素模型的连接模式Connections为例,给出了它的初始化定理及其证明过程.
|
| 关 键 词： | 软件体系结构重用 反射机制 形式化 |
| 收稿时间： | 9/9/2008 12:00:00 AM |
| 修稿时间： | 2009/3/12 0:00:00 |
Reflection Mechanism for Software Architecture Reuse and its Formalization |
| |
| LUO Ju-bo,YING Shi,YE Peng.Reflection Mechanism for Software Architecture Reuse and its Formalization[J].Computer Science,2009,36(8):145-148. |
| |
| Authors: | LUO Ju-bo YING Shi YE Peng |
| |
| Affiliation: | State Key Laboratory of Software Engineering;Wuhan University;Wuhan;430072;China;School of Management;Wuhan University of Science and Technology;430081;China |
| |
| Abstract: | 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 consti-tuents.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 u... |
| |
| Keywords: | Obiect-Z |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
