摘要： 构件组装是基于构件的软件开发的核心和最终目的，其中，二进制构件组装是构件技术实用化的最佳途径，目前的研究主要集中在特定二进制构件的组装上。该文根据程序控制结构的基本形式，提出了一种普适性的二进制构件组装机制，定义了二进制构件组装的3种方式，即顺序组装、条件组装和循环组装，并给出了其形式化定义。该组装机制使用“无冲突”思想代替传统的“匹配”思想，从而使二进制构件的组装具有更大的柔性。
关键词:
二进制构件,
构件柔性组装,
形式化
Abstract: The component integration is core and final purpose of component-based software development, hereinto, the binary component integration is the best approach of component technology practicality, its research primary focus integration of special binary component at present. Based on basic form of program control structure, this paper advances a general binary component integration mechanism, defines three mode of binary component integration, namely sequence integration, condition integration, circle integration, and presents their formalization definition. This component mechanism makes binary component integration to have more big flexibility using idea of “no impact” to replace idea of “matching”.
Key words:
Binary component,
Component flexible integrate,
Formalization
中图分类号:
周晓峰;王志坚. 二进制构件柔性组装机制及其形式化研究[J]. 计算机工程, 2006, 32(22): 53-54,5.
ZHOU Xiaofeng; WANG Zhijian. Research on Mechanism & Formalization of
Binary Component Flexible Integration
[J]. Computer Engineering, 2006, 32(22): 53-54,5.