| 连接器层次组合的形式化方法研究 |
| |
| 引用本文： | 虞莉娟,熊惠民.连接器层次组合的形式化方法研究[J].武汉理工大学学报(信息与管理工程版),2008,30(4). |
| |
| 作者姓名： | 虞莉娟 熊惠民 |
| |
| 作者单位： | 1. 武汉理工大学,自动化学院,湖北,武汉,430070
2. 华中师范大学,数学与统计学学院,湖北,武汉,430079 |
| |
| 摘 要： | 连接器是软件体系结构设计和开发的一级实体.针对已有的体系结构描述语言难以有效提供连接器的重用,从而使得连接器的建模和分析面临较大的困难和挑战的问题,提出了一种连接器层次组合的形式化方法.该方法以体系结构描述语言Wright为基础,将一个连接器层次化定义为一个体系结构配置.实例表明,它能为连接器提供一种增量式的开发方式,从而能适用于体系结构重用的目的.还使用CSP符号给出了层次组合连接器的形式语义.
|
| 关 键 词： | 连接器 层次组合 重用 |
Formal Method Research on Hierarchical Composition for Connectors |
| |
| YU Lijuan,XIONG Huimin.Formal Method Research on Hierarchical Composition for Connectors[J].Journal of Wuhan University of Technology(Information & Management Engineering),2008,30(4). |
| |
| Authors: | YU Lijuan XIONG Huimin |
| |
| Abstract: | |
| |
| Keywords: | Wright |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
