对系统动态更新的探讨与设计

软件系统,特别是大型商业应用系统常常需要不断地更新,以满足新的需求,对于基于构件的软件系统,只需更换有关的构件,即可避免修改整个系统。但对于有些系统如分布式系统,如果为了更换构件而将系统关闭,将是不可想象的,会付出巨大的代价。动态地系统更新——软件即插即用将是更好的选择。另一方面,要实现真正的构件市场,构件必须不受配置特性的限制而能通用,这样重用构件就可以由专业化的第三方来生产。中间件的出现给软件即插即用提供了一定的支持,基于中间件的软件即插即用将是未来较为可行的方法。

构件规范匹配方法的探讨与设计

介绍了对构件规范的研究，首先研究了逻辑子类的形式化模型，然后以此为基础，设计了构件规范匹配方法，开发了构件规范区配的自动工具matchable，同时开发了构件生成器generator，它对匹配后的构件实现自动组装。