二进制构件柔性组装机制及其形式化研究

摘要：

构件组装是基于构件的软件开发的核心和最终目的,其中,二进制构件组装是构件技术实用化的最佳途径,目前的研究主要集中在特定二进制构件的组装上.该文根据程序控制结构的基本形式,提出了一种普适性的二进制构件组装机制,定义了二进制构件组装的3种方式,即顺序组装、条件组装和循环组装,并给出了其形式化定义.该组装机制使用"无冲突"思想代替传统的"匹配"思想,从而使二进制构件的组装具有更大的柔性.

关键词：二进制构件、构件柔性组装、形式化

所属期刊栏目：32

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

资助基金：国家重点基础研究发展计划973计划2002CB312002;国家自然科学基金60573098

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

页数：共3页

页码：53-54,57