Towards Consistent Evolution of Feature Models

  • Jianmei Guo
  • Yinglin Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6287)


This paper explores the possibility of consistent evolution of feature models (FMs), which should resolve the requested changes and maintain the consistency of FMs. According to the definition of FMs, we first analyze the primitive elements of FMs and suggest a set of atomic operations on FMs. Then we analyze and apply the semantics of change to FMs to support consistency maintenance during FMs evolution. The resolution of a requested change to an FM requires obtaining and executing a sequence of additional changes derived from the requested change for keeping the consistency of the FM. Our approach limits the consistency maintenance of an FM in a local range affected only by the requested change instead of the whole FM, which reduces the effort and improves the efficiency for the evolution and maintenance of FMs.


Feature Model Software Product Line Primitive Element Ontology Evolution Local Range 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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-90-TR-021. Software Engineering Institute, CMU (1990)Google Scholar
  2. 2.
    Kang, K.C., Lee, J., Donohoe, P.: Feature-oriented product line engineering. IEEE Software 19, 58–65 (2002)CrossRefGoogle Scholar
  3. 3.
    Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2001)Google Scholar
  4. 4.
    Pohl, K., Bockle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)zbMATHGoogle Scholar
  5. 5.
    Batory, D.: 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
  6. 6.
    Batory, D., Benavides, D., Ruiz-Cortes, A.: Automated analysis of feature models: challenges ahead. Communications of the ACM 49, 45–47 (2006)CrossRefGoogle Scholar
  7. 7.
    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
  8. 8.
    Czarnecki, K., Wasowski, A.: Feature Diagrams and Logics: There and Back Again. In: SPLC 2007, Kyoto, Japan, pp. 23–34 (2007)Google Scholar
  9. 9.
    Benavides, D., Martin-Arroyo, P.T., Cortes, A.R.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., Lucena, C.: Refactoring product lines. In: GPCE 2006, Portland, Oregon, USA, pp. 201–210 (2006)Google Scholar
  11. 11.
    Thum, T., Batory, D.S., Kastner, C.: Reasoning about edits to feature models. In: ICSE 2009, Vancouver, Canada, pp. 254–264 (2009)Google Scholar
  12. 12.
    Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD. Dissertation. University of Karlsruhe (2004)Google Scholar
  13. 13.
    Huersch, W.: Maintaining consistency and behaviour of object-oriented systems during evolution. ACM SIGPLAN Notices 32, 1–21 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jianmei Guo
    • 1
  • Yinglin Wang
    • 1
  1. 1.Department of Computer Science and EngineeringShanghai Jiao Tong UniversityShanghaiChina

Personalised recommendations