Classifying and resolving software product line redundancies using an ontological first-order logic rule based method
作者：
Highlights：
• Typology of feature model redundancies in various categories is presented.
• Mapping of Feature model to ontology using predicate logic.
• Developing and applying first-order logic rules to deal with redundancies.
• Identifying redundancies with their causes and corrections to resolve defects.
• Enhance quality of product line to attain defect free products.
摘要
•Typology of feature model redundancies in various categories is presented.•Mapping of Feature model to ontology using predicate logic.•Developing and applying first-order logic rules to deal with redundancies.•Identifying redundancies with their causes and corrections to resolve defects.•Enhance quality of product line to attain defect free products.
论文关键词：Feature model,First-order logic,Ontologies,Quality,Redundancy,Software product line
论文评审过程：Received 19 January 2020, Revised 6 October 2020, Accepted 24 October 2020, Available online 2 November 2020, Version of Record 24 December 2020.
论文官网地址：https://doi.org/10.1016/j.eswa.2020.114167
