共 2 条
通用连接器模型及其形式化推导研究
被引：1
作者：
许毅
赵文耘
彭鑫
张志
机构：
[1] 复旦大学计算机科学与技术系
[2] 复旦大学计算机科学与技术系 上海
[3] 上海
来源：
关键词：
软件体系结构;
连接器;
体系结构描述语言;
通信顺序进程;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
081202 ;
0835 ;
摘要：
基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法,给出了通用连接器模型的形式化推导、验证,从而为分析连接器行为,支持连接器自动生成奠定了基础.
引用
收藏
页码：503 / 511
页数：9
相关论文