摘要
介绍了对构件规范的研究，首先研究了逻辑子类的形式化模型，然后以此为基础，设计了构件规范匹配方法，开发了构件规范区配的自动工具matchable，同时开发了构件生成器generator，它对匹配后的构件实现自动组装。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1999年第3期8-10,共3页
Computer Engineering
关键词
构架
构件
规范匹配
软件工程
软件重用
Architecture
Component
Spccifications matching
Logic subtype
