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

• 作者: 张志 彭鑫 许毅 赵文耘
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件体系结构 连接器 体系结构描述语言 通信顺序进程
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 计算机软件新技术研究进展专栏
• 页码范围: 503-511
• 页数: 9页
• 分类号: TP311
• 字数: 6434字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2005.05.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭鑫	复旦大学计算机科学与技术系	96	641	15.0	19.0
2	赵文耘	复旦大学计算机科学与技术系	154	1327	20.0	28.0
3	张志	复旦大学计算机科学与技术系	9	100	5.0	9.0
4	许毅	复旦大学计算机科学与技术系	2	23	2.0	2.0