构件适应和组装的形式化语义描述

• 作者: 张维石 谢兄
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 基于构件的软件工程 软件构件 构件组装 构件适应 软件复用 形式化描述
• 年，卷（期）: 2007,（21）
• 所属期刊栏目: 学术探讨
• 页码范围: 36-39,45
• 页数: 5页
• 分类号: TP311
• 字数: 5676字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.21.011

摘要

构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张维石	大连海事大学计算机科学与技术学院	34	272	9.0	15.0
2	谢兄	大连海事大学计算机科学与技术学院	6	17	2.0	4.0