摘要
在软件产品线的领域工程开发中,特征模型被广泛用于捕获和组织领域的可复用需求。目前,构建特征模型大多依赖于建模人员的分析,而随着领域需求的日益复杂,构建满足需求的特征模型不仅会增加建模人员的工作量,还会使特征模型的正确性降低。为解决不同特征模型之间建模词汇不统一的问题,提出一种分析特征语义并为语义定义术语的方法。为有效地重构特征模型,提出一种采用描述逻辑语言定义半自动化的重构方法,该重构方法可以推理模型的一致性。基于两个特征模型实例对提出的方法进行验证,实验结果表明该方法可以重构特征模型,并且可以检验重构的特征模型的一致性。
In the domain engineering of software product lines development,feature model is widely adopted to capture and organize the reusable requirements.Currently,the construction of feature model relies on the modeler’s analysis.With the increasing complexity of domain requirements,building a feature model that satisfies the requirements not only increases the workload of the modeler,but also reduces the accuracy of the feature model.A method for analyzing the semantics and defining semantic terms was proposed to solve the problem of inconsistent modeling vocabulary between different feature models in this paper.To refactor the feature model effectively,a semi-automated refactoring method was defined by using Description Logic.The consistency of the model can be also inferred by this method.The proposed method is verified based on two feature models,and the result shows that the method can refactor the feature model as well as verify the consistence the refactored feature model.
作者
张力生
张悦
雷大江
ZHANG Li-sheng;ZHANG Yue;LEI Da-jiang(College of Software Engineering,Chongqing University of Posts and Telecommunications,Chongqing 400065,China;College of Computer Science and Technology,Chongqing University of Posts and Telecommunications,Chongqing 400065,China)
出处
《计算机科学》
CSCD
北大核心
2019年第5期135-142,共8页
Computer Science
基金
重庆市前沿与应用基础研究计划一般项目(cstc2014jcyjA40049)资助
关键词
领域工程
特征模型
重构
语义
描述逻辑
Domain engineering
Feature model
Refactoring
Semantics
Description logic