| 基于组合连接器的潜在无限动态结构的规范 |
| |
| 引用本文： | 虞莉娟,熊惠民,应 时.基于组合连接器的潜在无限动态结构的规范[J].计算机工程,2007,33(23):43-44,5. |
| |
| 作者姓名： | 虞莉娟 熊惠民 应 时 |
| |
| 作者单位： | [1]武汉理工大学自动化学院,武汉430070 [2]华中师范大学数学与统计学学院,武汉430079 [3]武汉大学软件工程国家霞点实验室／计算机学院,武汉430072 |
| |
| 基金项目： | 国家自然科学基金
,
湖北省杰出青年科学基金 |
| |
| 摘 要： | 动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright，提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制，引入了组合连接器和动态角色的概念，从而实现了动态体系结构的逐层展开。实例说明，该方法能为动态体系结构的设计提供一种增量式的开发方式，适用于连接器重用的目的。
|
| 关 键 词： | 潜在无限动态结构 组合连接器 动态角色 Wright |
| 文章编号： | 1000-3428（2007）23-0043-02 |
| 收稿时间： | 2006-12-10 |
| 修稿时间： | 2006年12月10 |
Specification for Potentially Unbounded Dynamic Structure Using Composite Connector |
| |
| YU Li-juan,XIONG Hui-min,YING Shi.Specification for Potentially Unbounded Dynamic Structure Using Composite Connector[J].Computer Engineering,2007,33(23):43-44,5. |
| |
| Authors: | YU Li-juan XIONG Hui-min YING Shi |
| |
| Affiliation: | (1. School of Automation, Wuhan University of Technology, Wuhan 430070; 2. Department of Mathematics & Statistics, Huazhong Normal University, Wuhan 430079; 3. State Key Laboratory of Software Engineering/Computer School, Wuhan University, Wuhan 430072) |
| |
| Abstract: | |
| |
| Keywords: | potentially unbounded dynamic structure omposite connector dynamic role Wright |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
