摘要： 介绍了对构件规范的研究，首先研究了逻辑子类的形式化模型，然后以此为基础，设计了构件规范匹配方法，开发了构件规范区配的自动工具matchable，同时开发了构件生成器generator，它对匹配后的构件实现自动组装。
关键词:
构架,
构件,
规范区配,
逻辑子类
Abstract: This paper introduces our research in component specincations matching. We, at first, focuse on the formal model of logic subtype, and then. on the base or this model. design the method or component specincations matching. We also present two automated tools we developed: matchable for matching component specifications and generator for packaging components matched.
中图分类号:
张升昕,任杰,钱乐秋. 构件规范匹配方法的探讨与设计[J]. , 1999, 25(03): 8-10.
Zhang Shengxin, Ren Jie, Qian Leqiu. The Research and Design of Component Specifications Matching[J]. , 1999, 25(03): 8-10.