接口连接式构件组装的一种形式化方法

• 作者: 孙莹 陈松乔
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 基于构件的软件开发 构件组装 接口连接式组装 组装推导
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 253-256
• 页数: 4页
• 分类号: TP3
• 字数: 2316字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.07.069

摘要

构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量.以往大部分构件组装技术是在"成功组装路线"的前提条件下实现的,缺乏对构件组装正确性的检验.本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈松乔	中南大学信息科学与工程学院	316	3775	27.0	45.0
2	孙莹	中南大学信息科学与工程学院	10	118	6.0	10.0