| 基于Object-Z的ReflectiveArchitecture形式化研究 |
| |
| 引用本文： | 罗巨波,应时. 基于Object-Z的ReflectiveArchitecture形式化研究[J]. 计算机科学, 2010, 37(11): 126-130 |
| |
| 作者姓名： | 罗巨波 应时 |
| |
| 作者单位： | 1. 扬州大学新闻与传媒学院,扬州,225009
2. 武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 本文受国家自然科学基金项目(60473066)，教育部人文社会科学研究项目((09YJC870024)资助。 |
| |
| 摘 要： | 将元信息、元建模、反射和软件体系结构结合起来，提出了一种基于反射机制的软件体系结构重用方法，该方法是一种更通用、更便捷的重用方法；该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link，给出了它的初始化定理及其证明过程，以此为范例证明了被形式化的反射式软件体系结构的正确性。
|
| 关 键 词： | 软件体系结构重用，反射式软件体系结构，元级体系结构模型，形式化 |
| 收稿时间： | 2009-12-23 |
| 修稿时间： | 2010-03-05 |
Research on ReflectiveArchitecture Formalism Based on Object-Z |
| |
| LUO Ju-bo,YING Shi. Research on ReflectiveArchitecture Formalism Based on Object-Z[J]. Computer Science, 2010, 37(11): 126-130 |
| |
| Authors: | LUO Ju-bo YING Shi |
| |
| Affiliation: | (School of Journalism and Communication,Yangzhou University,Yangzhou 225009,China);(State Key Laboratory of Software Engineering,Wahan University,Wahan 430072,China) |
| |
| Abstract: | |
| |
| Keywords: | Reuse of software architecture Reflective software architecture Meta level architecture model Formalization |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
