基于规约匹配的软件组件组装

基于组件的软件开发强调以集成为中心进行系统构造。其中候选组件的选择以及候选组件的组装是系统开发的关键，文章分析了规约语法匹配的基本原理和理论基础，在此基础之上研究了基于软件组件组装的系统开发技术并给出了组件配置算法。

Software Component Composition Based on Specification Matching

Component-based software development is gaining ever-increasing acceptance as the key technology for the construction of high-quality large software systems.The selection of suitable candidate components and their composition are the key technologies of CBSD(Component Based Software Development).We aim at presenting our research results on how to implement CBSD based on specification matching.In the full paper we give detailed explanation of the above-mentioned implementation.Here we give only a briefing.In CBSD interfaces provide the only interaction way among components.Parameter type and return value type are intrinsic features of interface.We first analyze type equipollence rules and present the methods for type and interface normalizing;this is the basis of component specification syntax matching;then we discuss concepts and processes of CBSD;at last we give an algorithm to configure components.