| 软件体系结构模型单层化的一致性保障方法 |
| |
| 引用本文： | 杨杰,黄罡,陈湘萍,梅宏,张成志.软件体系结构模型单层化的一致性保障方法[J].软件学报,2006,17(6):1391-1400. |
| |
| 作者姓名： | 杨杰 黄罡 陈湘萍 梅宏 张成志 |
| |
| 作者单位： | 1. 北京大学,信息科学技术学院,北京,100871
2. 香港科技大学,计算机科学系,香港,999077 |
| |
| 基金项目： | 中国科学院资助项目;国家科技攻关项目;国家研究发展基金;IBM大学校科研和教改项目 |
| |
| 摘 要： | 在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.
|
| 关 键 词： | 软件体系结构 一致性 复合构件 模型转换 |
| 收稿时间： | 2006-01-10 |
| 修稿时间： | 2006-03-13 |
Consistency Assurance in Flattening Hierarchical Architectural Models |
| |
| YANG Jie,HUANG Gang,CHEN Xiang-Ping,MEI Hong and CHEUNG Shing-Chi.Consistency Assurance in Flattening Hierarchical Architectural Models[J].Journal of Software,2006,17(6):1391-1400. |
| |
| Authors: | YANG Jie HUANG Gang CHEN Xiang-Ping MEI Hong and CHEUNG Shing-Chi |
| |
| Affiliation: | 1.School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China; 2.Department of Computer Science, The Hong Kong University of Science and Technology, Hong Kong 999077, China |
| |
| Abstract: | |
| |
| Keywords: | software architecture consistency composite component model transformation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
