| 本文已被：浏览 8021次 下载 8703次 |
码上扫一扫！ |
|
|
| 基于反射的连接器组合重用方法 |
|
熊惠民1,2,3, 应时1, 虞莉娟4, 张韬1
|
|
1.软件工程国家重点实验室(武汉大学),湖北,武汉,430072;2.武汉大学,计算机学院,湖北,武汉,430072;3.华中师范大学,数学与统计学学院,湖北,武汉,430070;4.武汉理工大学,自动化学院,湖北,武汉,430070
|
|
| 摘要: |
| 连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查. |
| 关键词: 软件体系结构 连接器组合 重用 反射 Wright CSP |
| DOI： |
| 分类号: |
| 基金项目: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(湖北省青年杰出人才基金) |
|
| A Composite Reuse of Architectural Connectors Using Reflection |
|
XIONG Hui-Min,YING Shi,YU Li-Juan,ZHANG Tao
|
| Abstract: |
| 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. |
| Key words: software architecture connector composition reuse reflection Wright CSP |
