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

【Abstract】 This paper discusses the component modeling structure,the hotspots’ description methods and dependency relation which are key to the extension mechanisms of application framework.Firstly,this paper abstracts and describes the component modeling structure by analyzing the composition of framework meta-model and applying the method of domain-oriented features model,and describes the logic relation and semantic constraint between components by applying the symbolic logic formula.Secondly,this paper presents the description method of hotspots and its dependency relation by applying the UniCon language.Finally,the given symbolic logic formula can prove the rationality of component model and validity of framework extension.This method proves to be effective through application example.更多还原