Feature Models, Grammars, and Propositional Formulas

  • Don Batory
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3714)


Feature models are used to specify members of a product-line. Despite years of progress, contemporary tools often provide limited support for feature constraints and offer little or no support for debugging feature models. We integrate prior results to connect feature models, grammars, and propositional formulas. This connection allows arbitrary propositional constraints to be defined among features and enables off-the-shelf satisfiability solvers to debug feature models. We also show how our ideas can generalize recent results on the staged configuration of feature models.


Feature Model Constraint Satisfaction Problem Variable Assignment Propositional Formula Attribute Grammar 
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.
  2. 2.
    Antkiewicz, M., Czarnecki, K.: FeaturePlugIn: Feature Modeling Plug-In for Eclipse. In: OOPSLA 2004 Eclipse Technology eXchange (ETX) Workshop (2004)Google Scholar
  3. 3.
    Batory, D., O’Malley, S.: The Design and Implementation of Hierarchical Software Systems with Reusable Components. In: ACM TOSEM (October 1992)Google Scholar
  4. 4.
    Batory, D., Geraci, B.J.: Composition Validation and Subjectivity in GenVoca Generators. IEEE TSE, 67–82 (February 1997)Google Scholar
  5. 5.
  6. 6.
    Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Automated Reasoning on Feature Models. In: Conference on Advanced Information Systems Engineering (CAISE) (July 2005)Google Scholar
  7. 7.
    Beuche, D.: Composition and Construction of Embedded Software Families. Ph.D. thesis, Otto-von-Guericke-Universitaet, Magdeburg, Germany (2003)Google Scholar
  8. 8.
    Big Lever, GEARS tool,
  9. 9.
  10. 10.
  11. 11.
    Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)zbMATHGoogle Scholar
  12. 12.
    Czarnecki, K., Eisenecker, U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston (2000)Google Scholar
  13. 13.
    Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing Cardinality-based Feature Models and their Specialization. Software Process Improvement and Practice 10(1) (2005)Google Scholar
  14. 14.
    Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process Improvement and Practice 10(2) (2005)Google Scholar
  15. 15.
    Czarnecki, K.: Private correspondence (2005)Google Scholar
  16. 16.
    Eén, N., Sörensson, N.: An extensible SAT solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Forbus, K.D., de Kleer, J.: Building Problem Solvers. MIT Press, Cambridge (1993)zbMATHGoogle Scholar
  18. 18.
  19. 19.
    Grechanik, M., Batory, D.: Verification of Dynamically Reconfigurable Applications (2005) (in preparation)Google Scholar
  20. 20.
    Greenfield, J., Short, K., Cook, S., Kent, S., Crupi, J.: Software Factories: Assembling Applications with Patterns. models Frameworks and Tools. Wiley, Chichester (2004)Google Scholar
  21. 21.
    de Jong, M., Visser, J.: Grammars as Feature DiagramsGoogle Scholar
  22. 22.
    Streitferdt, D., Riebisch, M., Philippow, I.: Details of Formalized Relations in Feature Models Using OCL. In: ECBS 2003, pp. 297–304. IEEE Computer Society, Los Alamitos (2003)Google Scholar
  23. 23.
    Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report, CMU/SEI-90TR-21 (November 1990)Google Scholar
  24. 24.
    Neema, S., Sztipanovits, J., Karsai, G.: Constraint-Based Design Space Exploration and Model Synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 290–305. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  25. 25.
    Lopez-Herrejon, R.E., Batory, D.: A standard problem for evaluating product-line methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol. 2186, pp. 10–24. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  26. 26.
    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
  27. 27.
    Pure-Systems, Technical White Paper: Variant Management with pure:variants (2003),
  28. 28.
    Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: a Syntax-Directed Programming Environment. CACM 24(9), 563–573 (1981)Google Scholar
  29. 29.
    Zave, P.: FAQ Sheet on Feature Interactions,

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Don Batory
    • 1
  1. 1.Department of Computer SciencesUniversity of Texas at AustinAustin

Personalised recommendations