A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models

  • Bo Wang
  • Yingfei Xiong
  • Zhenjiang Hu
  • Haiyan Zhao
  • Wei Zhang
  • Hong Mei
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6394)


In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. Several approaches have been proposed to detect inconsistencies, but few focus on the problem of fixing inconsistent feature models. In this paper, we propose a dynamic-priority based approach to fixing inconsistent feature models, with the purpose of helping domain analysts find solutions to inconsistencies efficiently. The basic idea of our approach is to first recommend a solution automatically, then gradually reach the desirable solution by dynamically adjusting priorities of constraints. To this end, we adopt the constraint hierarchy theory to express the degree of domain analysts’ confidence on constraints (i.e. the priorities of constraints) and resolve inconsistencies among constraints. Two case studies have been conducted to demonstrate the usability and scalability of our approach.


Feature Model Priority Inconsistency Fixing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, CMU-SEI (1990)Google Scholar
  2. 2.
    Czarnecki, K., Helsen, S., Eisenecker, U.W.: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 10, 7–29 (2005)CrossRefGoogle Scholar
  3. 3.
    von der Maßen, T., Lichter, H.: Deficiencies in feature models. In: Workshop on Software Variability Management for Product Derivation, in Conjunction with SPLC (2004)Google Scholar
  4. 4.
    She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: The variability model of the Linux kernel. In: VaMoS, pp. 45–51 (2010)Google Scholar
  5. 5.
    Batory, D.S., Benavides, D., Cortés, A.R.: Automated analysis of feature models: challenges ahead. Commun. ACM 49, 45–47 (2006)CrossRefGoogle Scholar
  6. 6.
    Borning, A., Freeman-Benson, B.N., Wilson, M.: Constraint hierarchies. Lisp and Symbolic Computation 5, 223–270 (1992)CrossRefGoogle Scholar
  7. 7.
    Sannella, M.: SkyBlue: A multi-way local propagation constraint solver for user interface construction. In: ACM Symposium on User Interface Software and Technology, pp. 137–146 (1994)Google Scholar
  8. 8.
    Sannella, M.: The SkyBlue constraint solver and its applications. In: PPCP, pp. 258–268 (1993)Google Scholar
  9. 9.
    Benavides, D., Segura, S., Cortés, A.R.R.: Automated analysis of feature models 20 years later: a literature review. Information Systems (2010)Google Scholar
  10. 10.
    Zhang, W., Mei, H., Zhao, H.: Feature-driven requirement dependency analysis and high-level software design. Requir. Eng., 205–220 (2006)Google Scholar
  11. 11.
    Czarnecki, K., She, S., Wasowski, A.: Sample spaces and feature models: There and back again. In: SPLC, pp. 22–31 (2008)Google Scholar
  12. 12.
    Mannion, M.: Using first-order logic for product line model validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176–187. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Batory, D.S.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Benavides, D., Trinidad, P., Cortés, A.R.: Using constraint programming to reason on feature models. In: SEKE, pp. 677–682 (2005)Google Scholar
  15. 15.
    Zhang, W., Yan, H., Zhao, H., Jin, Z.: A BDD-based approach to verifying clone-enabled feature models’ constraints and customization. In: Mei, H. (ed.) ICSR 2008. LNCS, vol. 5030, pp. 186–199. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE, pp. 292–301 (2007)Google Scholar
  17. 17.
    Trinidad, P., Benavides, D., Durán, A., Ruiz-Cortés, A., Toro, M.: Automated error analysis for the agilization of feature modeling. J. Syst. Softw. 81, 883–896 (2008)CrossRefGoogle Scholar
  18. 18.
    White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Cortés, A.R.: Automated diagnosis of product-line configuration errors in feature models. In: SPLC, pp. 225–234 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Bo Wang
    • 1
    • 2
  • Yingfei Xiong
    • 3
  • Zhenjiang Hu
    • 4
  • Haiyan Zhao
    • 1
    • 2
  • Wei Zhang
    • 1
    • 2
  • Hong Mei
    • 1
    • 2
  1. 1.Key Laboratory of High Confidence Software TechnologiesMinistry of EducationChina
  2. 2.Institute of SoftwareSchool of EECS, Peking UniversityBeijingChina
  3. 3.Generative Software Development LabThe University of WaterlooCanada
  4. 4.National Institute of InformaticsGRACE CenterJapan

Personalised recommendations