中文摘要：

连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用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 is 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.