基于反射的连接器组合重用方法

作者：熊惠民; 应时; 虞莉娟; 张韬软件体系结构连接器组合重用反射wrightcsp

摘要：连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社