通用连接器模型及其形式化推导研究

摘要：

基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法,给出了通用连接器模型的形式化推导、验证,从而为分析连接器行为,支持连接器自动生成奠定了基础.

关键词：软件体系结构、连接器、体系结构描述语言、通信顺序进程

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家863计划2004AA112070,2004AA113030;国家自然科学基金60473061

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：503-511