Study of Application Framework Extension Mechanisms Based on Component
基于构件的应用框架扩展机制研究

论述了应用框架扩展机制中构件模型、扩展点表示和依赖关系等关键问题。在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述,并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。应用实例表明这种方法是有效的。