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

摘要：

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

关键词：基于构件的软件开发、构件组装、接口连接式组装、组装推导

所属期刊栏目：33

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

资助基金：高等学校博士学科点专项科研项目[2003]172

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

页数：共4页

页码：253-256