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

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