Computer Science ›› 2019, Vol. 46 ›› Issue (5): 135-142.doi: 10.11896/j.issn.1002-137X.2019.05.021

Previous Articles     Next Articles

Feature Model Refactoring Method Based on Semantics

ZHANG Li-sheng1, ZHANG Yue1, LEI Da-jiang2,   

  1. (College of Software Engineering,Chongqing University of Posts and Telecommunications,Chongqing 400065,China)1
    (College of Computer Science and Technology,Chongqing University of Posts and Telecommunications,Chongqing 400065,China)2
  • Received:2018-04-12 Revised:2018-07-20 Published:2019-05-15

Abstract: 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.

Key words: Description logic, Domain engineering, Feature model, Refactoring, Semantics

CLC Number: 

  • TP311
[1]IRSHAD M,PETERSEN K,POULDING S.A Systematic Lite-rature Review of Software Requirements Reuse Approaches[J].Information & Software Technology,2018,93:223-245.
[2]KARLSSON E A.Software reuse:a holistic approach[M].John Wiley & Sons,Inc.1995:129-144.
[3]TANHAEI M,HABIBI J,MIRIAN-HOSSEINABADI S H.A Feature Model Based Framework for Refactoring Software Product Line Architecture[J].Journal of Computer Science and Technology,2016,31(5):951-986.
[4]MEGHA,GOEL S,KAUR K.Analyzing inconsistencies in software product lines using an ontological rule-based approach[J].Journal of Systems & Software,2017,137:605-617.
[5]ZHANG W,MEI H.Feature-oriented software reuse technology-state of the art[J].Chinese Science Bull,2014,59(11):21-42.(in Chinese)张伟,梅宏.面向特征的软件复用技术——发展与现状[J].科学通报,2014,59(1):21-42.
[6]DAVIS A M.The Design of a Family of Application-Oriented Requirements Languages[J].Computer,1982,15(5):21-28.
[7]KANG K C,COHEN S G,HESS J A,et al.Feature-oriented domain analysis (foda) feasibility study[J].Georgetown University,1990,4(4):206-207.
[8]ACHER M,BAUDRY B,NASR S B.Breathing ontologicalknowledge into feature model synthesis:an empirical study[J].Empirical Software Engineering,2016,21(4):1794-1841.
[9]MORITANI B I,LEE J.An approach for managing a distributed feature model to evolve self-adaptive dynamic software product lines[C]∥International Systems and Software Product Line Conference.2017:107-110.
[10]TANHAEI M,HABIBI J,MIRIAN-HOSSEINABADI S H.Automating Feature Model Refactoring:A Model Transformation Approach[J].Information & Software Technology,2016,80(C):138-157.
[11]NIE K M,ZHANG L.A Software product line domain requirement model construction method based on model difference and model composition[J].Chinese Journal of Computers,2014,37(3):539-550.(in Chinese)聂坤明,张莉.基于模型对比和组合的软件产品线领域需求建模[J].计算机学报,2014,37(3):539-550.
[12]SHEN G H,ZHANG W,HUANG Z Q,et al.Description-logic-based feature modeling and verification[J].Journal of Computer Research and Development,2013,50(7):1501-1512.(in Chinese)沈国华,张伟,黄志球,等.基于描述逻辑的特征语义建模及验证[J].计算机研究与发展,2013,50(7):1501-1512.
[13]BÜRDEK J,KEHRER T,LOCHAUM,et al.Reasoning aboutproduct-line evolution using complex feature model differences[J].Automated Software Engineering,2016,23(4):687-733.
[14]YI L,ZHAO H Y,ZHANG W,et al.Research on the merging of feature models[J].Chinese Journal of Computers,2013,36(1):1-9.(in Chinese)易立,赵海燕,张伟,等.特征模型融合研究[J].计算机学报,2013,36(1):1-9[15]USMAN M,IQBAL M Z,KHAN M U.A Product-line Model-driven Engineering Approach for Generating Feature-based Mobile Applications[J].Journal of Systems & Software,2016,123:1-32.
[16]BAADER F,CALVANESE D,MCGUINNESS D L,et al.The Description Logic Handbook:Theory,Implementation and Applications[J].Kybemetes,2003,32(9-10):43-95.
[17]CALVANESE D.Unrestricted and Finite Model Reasoning inClass-Based Representation Formalisms[J].AI Communications,1996,9(4):225-226.
[18]ARENAS M,BOTOEVA E,CALVANESE D,et al.Knowledge base exchange:The case of OWL 2 QL[J].Artificial Intelligence,2016,238:11-62.
[19]LIAN X L,ZHANG L.Multi-Objective Optimization Algorithm for Feature Selection in Software Product Lines[J].Journal of Sofeware,2017,28(10):2548-2563.(in Chinese)连小利,张莉.面向软件产品线中特征选择的多目标优化算法[J].软件学报,2017,28(10):2548-2563.
[20]BATORY D,BENAVIDES D,RUIZCORTES A.Automatedanalysis of feature models:challenges ahead[J].Communications of the ACM,2006,49(12):45-47.
[1] SUN Shan-wu, WANG Nan. Subprocesses Discovery Based on Structure and Activity Semantics [J]. Computer Science, 2021, 48(11A): 659-665.
[2] JIANG Zong-li, LI Miao-miao, ZHANG Jin-li. Graph Convolution of Fusion Meta-path Based Heterogeneous Network Representation Learning [J]. Computer Science, 2020, 47(7): 231-235.
[3] LIU Bin, LIU Hong-zhe. Lane Detection Algorithm Based on Improved Enet Network [J]. Computer Science, 2020, 47(4): 142-149.
[4] MENG Fan-yi, WANG Ying, YU Hai, ZHU Zhi-liang. Refactoring of Complex Software Systems Research:PresentProblem and Prospect [J]. Computer Science, 2020, 47(12): 1-10.
[5] ZHENG Tian-jian, HOU Jin-hong, ZHANG Wei, WANG Ju. Finite Basis of Implicational System Associated with Finite Models of Description Logic FL0 Under the Greatest Fixed Point Semantics [J]. Computer Science, 2020, 47(11A): 92-96.
[6] LI Su-ting,ZHANG Yan. Axiomatizing Covariation-Contravariation Simulation Under GSOS Operators [J]. Computer Science, 2020, 47(1): 51-58.
[7] SHE Rong-rong, ZHANG Li-ping. Method for Identifying and Recommending Reconstructed Clones Based on Software Evolution History [J]. Computer Science, 2019, 46(8): 224-232.
[8] PENG Jin-xi, SU Yuan-qi, XUE Xiao-rong. SAR Image Feature Retrieval Method Based on Deep Learning and Synchronic Matrix [J]. Computer Science, 2019, 46(6A): 196-199.
[9] FENG Yao-gong CAI Guo-yong. Cross-modal Retrieval Fusing Multilayer Semantics [J]. Computer Science, 2019, 46(3): 227-233.
[10] XIE Gang, JIANG Qiang, SHI Lei. Dynamic Semantics of Aspect-oriented Programming [J]. Computer Science, 2018, 45(8): 179-185.
[11] WANG Fei,YI Mian-zhu,TAN Xin. Language Understanding Model Based on Ontological Semantics Network [J]. Computer Science, 2018, 45(6A): 101-105.
[12] WANG Yong-hong, SHEN Yu-ming, NIE Deng-guo and WANG Ju. Conservative Extension in Description Logic εL with Cyclic Terminologies [J]. Computer Science, 2017, 44(Z11): 136-140.
[13] XIE Gang, WEI Li and WU Xiang. Static Semantics of Aspect-oriented Programming [J]. Computer Science, 2017, 44(9): 184-189.
[14] YE Yi-lin, WU Li-fa and YAN Hui-ying. Two-layer Semantics-based Security Detection Approach for Android Native Libraries [J]. Computer Science, 2017, 44(6): 161-167.
[15] ZHANG Qi-liang, ZHANG Yu and ZHOU Kun. CCodeExtractor:Automatic Approach of Function Extraction for C Programs [J]. Computer Science, 2017, 44(4): 16-20.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!