 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
熊惠民,应时,虞莉娟,张韬.基于反射的连接器组合重用方法.软件学报,2006,17(6):1298-1306 |
基于反射的连接器组合重用方法 |
A Composite Reuse of Architectural Connectors Using Reflection |
投稿时间:2006-01-09 修订日期:2006-03-13 |
DOI: |
中文关键词: 软件体系结构 连接器组合 重用 反射 Wright CSP |
英文关键词:software architecture connector composition reuse reflection Wright CSP |
基金项目:Supported by the National Nature Science Foundation of China under Grant No.60473066(国家自然科学基金);the Young Outstanding Talent Foundation of Hubei Province ofChina under Grant No.2003ABB004(湖北省青年杰出人才基金) |
作者 | 单位 | 熊惠民 | 软件工程国家重点实验室(武汉大学),湖北,武汉,430072 武汉大学,计算机学院,湖北,武汉,430072 华中师范大学,数学与统计学学院,湖北,武汉,430070 | 应时 | 软件工程国家重点实验室(武汉大学),湖北,武汉,430072 | 虞莉娟 | 武汉理工大学,自动化学院,湖北,武汉,430070 | 张韬 | 软件工程国家重点实验室(武汉大学),湖北,武汉,430072 |
|
摘要点击次数: 5507 |
全文下载次数: 3631 |
中文摘要: |
连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查. |
英文摘要: |
A critical issue for complex software architecture design is the modeling and analysis of connectors. This paper argues for an approach to composite reuse of connectors based on reflection. To support this notion a set of mata-operations of connectors composition steming from the operations between processes in CSP have been identified, and the CSP semantics of composite connector are also provided. As it will be shown that it provides mechanisms for designing connectors in an incremental way, and can be analysed and checked automatically owing to the formal basis. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|