论文部分内容阅读
连接器是软件体系结构设计和开发的一级实体。针对已有的体系结构描述语言难以有效提供连接器的重用，从而使得连接器的建模和分析面临较大的困难和挑战的问题，提出了一种连接器层次组合的形式化方法。该方法以体系结构描述语言Wright为基础，将一个连接器层次化定义为一个体系结构配置。实例表明，它能为连接器提供一种增量式的开发方式，从而能适用于体系结构重用的目的。还使用CSP符号给出了层次组合连接器的形式语义。