-
题名接口连接式构件组装的一种形式化方法
被引量:5
- 1
-
-
作者
孙莹
陈松乔
-
机构
中南大学信息科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第7期253-256,共4页
-
基金
高校博士点专项科研基金([2003]172)资助
-
文摘
构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。
-
关键词
基于构件的软件开发
构件组装
接口连接式组装
组装推导
-
Keywords
Component-based software development, Component composition, Interface connection composition, COmposition deduce
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-