Skip to main content

Feature Models, Grammars, and Propositional Formulas

  • Conference paper
Software Product Lines (SPLC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3714))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. American Standard, http://www.americanstandard-us.com/planDesign/

  2. Antkiewicz, M., Czarnecki, K.: FeaturePlugIn: Feature Modeling Plug-In for Eclipse. In: OOPSLA 2004 Eclipse Technology eXchange (ETX) Workshop (2004)

    Google Scholar 

  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. Batory, D., Geraci, B.J.: Composition Validation and Subjectivity in GenVoca Generators. IEEE TSE, 67–82 (February 1997)

    Google Scholar 

  5. Batory, D.: AHEAD Tool Suite, http://www.cs.utexas.edu/users/schwartz/ATS.html

  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. Beuche, D.: Composition and Construction of Embedded Software Families. Ph.D. thesis, Otto-von-Guericke-Universitaet, Magdeburg, Germany (2003)

    Google Scholar 

  8. Big Lever, GEARS tool, http://www.biglever.com/

  9. BMW: http://www.bmwusa.com/

  10. Captain Feature, https://sourceforge.net/projects/captainfeature/

  11. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)

    MATH  Google Scholar 

  12. Czarnecki, K., Eisenecker, U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston (2000)

    Google Scholar 

  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. 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. Czarnecki, K.: Private correspondence (2005)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  17. Forbus, K.D., de Kleer, J.: Building Problem Solvers. MIT Press, Cambridge (1993)

    MATH  Google Scholar 

  18. Gateway Computers, http://www.gateway.com/index.shtml

  19. Grechanik, M., Batory, D.: Verification of Dynamically Reconfigurable Applications (2005) (in preparation)

    Google Scholar 

  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. de Jong, M., Visser, J.: Grammars as Feature Diagrams

    Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  27. Pure-Systems, Technical White Paper: Variant Management with pure:variants (2003), http://www.pure-systems.com

  28. Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: a Syntax-Directed Programming Environment. CACM 24(9), 563–573 (1981)

    Google Scholar 

  29. Zave, P.: FAQ Sheet on Feature Interactions, http://www.research.att.com/~pamela/faq.html

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Batory, D. (2005). Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds) Software Product Lines. SPLC 2005. Lecture Notes in Computer Science, vol 3714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11554844_3

Download citation

  • DOI: https://doi.org/10.1007/11554844_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28936-4

  • Online ISBN: 978-3-540-32064-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics