基于语义的特征模型重构方法研究

发布时间：2021-01-08 06:29

　　特征模型是一种管理软件产品线中可复用需求的方法。领域软件产品线通常基于成熟的领域建立。将领域中任意一个特征模型作为基础特征模型,根据其余特征模型提供的重构元素,对基础特征模型进行重构的方法,可以提高建立领域特征模型的效率。在当前的特征模型重构方法中存在以下问题:（1）特征模型重构时,使用不同特征名标识相同特征,导致重构中将相同特征判断为不同特征,进而将相同关系判断为不同关系,不能得到预期的重构结果;（2）每一次特征模型重构会出现新的特征模型,导致追溯和规划特征模型重构版本困难。为了解决以上问题,本文的主要研究工作如下:1.为了解决待重构的特征模型集合中使用不同特征名标识相同特征的问题,基于描述逻辑解释函数的思想,使用语义术语统一标识特征语义,根据特征名与语义术语的映射关系,得到一种基于语义扩展特征模型的方法。2.根据扩展的特征模型,提出一种基于语义的特征模型重构方法。使用描述逻辑表示特征模型,并根据扩展的特征模型中的映射关系表改进特征模型重构算法。利用描述逻辑支持自动推理的性质,使用自动推理机对重构得到的描述逻辑知识库进行一致性检测,建模人员根据检测结果修改当中的不一致,得到最终的描述... 

【文章来源】：重庆邮电大学重庆市

【文章页数】：74 页

【学位级别】：硕士

【部分图文】：

添加TBox的角色

Feature(? x ) Feature(? y ) Feature(? z )Xor(? x,? y ) Xor(? x,? z ) BindState(? x,bound )BindState(? y,undecided ) BindState(? z,undecided )(3.17)将公式(3.12)表示的或关系语义转换为 SRWL 形式的规则，如公式(3.18)所示。 Feature(? x ) Feature(? y ) Feature(? z )Or(? x,? y ) Or(? x,? z ) BindState(? x,bound )BindState(? y,undecided ) BindState(? z,undecided )(3.18)将公式(3.13)表示的依赖关系语义转换为SRWL形式的规则，如公式(3.19)所示。 Feature(? x ) Feature(? y ) Re quires(? x,? y ) BindState(? x,bound )BindState(? y,bound )(3.19)将公式(3.14)表示的互斥关系语义转换为SRWL形式的规则，如公式(3.19)所示。 Feature(? x ) Feature(? y ) Excludes(? x,? y ) BindState(? x,bound )BindState(? y,removed )(3.20)将定义的 6 种 SRWL 形式的规则存入插件 SWRL Tab 中，如图 3.7 所示。

Graph-ManipulateDeleteSelectSelect-ModeAddEntity-AddConnector-AddCompose MoveDimThree-DimTwo-Dim图 3.9 待一致性检测的特征模型3.5.3 一致性检测借助描述逻辑支持推理的特点，使用工具 Protégé 自动检测第二次约束关系重构得到的知识库 Krefactor的一致性。在 Protégé 的 Individuals 中，输入 Krefactor中的特征实例，如图 3.10 所示。


本文编号：2964101