Automated Analysis of Stateful Feature Models

  • Pablo TrinidadEmail author
  • Antonio Ruiz-Cortés
  • David Benavides


In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning problem based on constraint programming. Such extraction is driven by a catalogue of basic and compound operations. Much has been done since, renaming the problem as the automated analysis of feature models, a widely accepted problem in the Software Product Line (SPL) community. In this chapter, we review this seminal contribution and its impact in the community, highlighting the key milestones up to a more complete problem formulation that we coin as the Automated Analysis of Stateful Feature Models (AASFM). Finally, we envision some breakthroughs and challenges in the AASFM.


Feature Model Automate Analysis Constraint Programming Software Product Line Analysis Operation 
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.



This work has been partially supported by the European Commission (FEDER) and Spanish Government (TIN2009-07366) and by the Andalusian Government (TIC-5906).


  1. 1.
    P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison–Wesley, 2001.Google Scholar
  2. 2.
    K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature–Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, nov 1990.Google Scholar
  3. 3.
    D. Benavides, A. Ruiz-Cortés, and P. Trinidad. Automated reasoning on feature models. LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 3520:491–503, 2005.Google Scholar
  4. 4.
    Microsoft Academic Research. Automating reasoning of feature models references., 2012.
  5. 5.
    D. Benavides, S. Segura, and A. Ruiz Cortés. Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6):615–636, 9 2010.Google Scholar
  6. 6.
    D. Benavides. On the Automated Analysis of Software Product Lines Using Feature Models. A framework for developing automated tool support. PhD thesis, University of Seville, 2007.Google Scholar
  7. 7.
    P. Trinidad. Automating the Analysis of Stateful Feature Models. PhD thesis, University of Seville,, 2012.
  8. 8.
    P. Trinidad, D. Benavides, A. Ruiz-Cortés, S. Segura, and A.Jimenez. Fama framework. In S. Thiel and K. Pohl, editors, Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8–12, 2008, Proceedings. Second Volume (Workshops). Lero Int. Science Centre, University of Limerick, Ireland, 2008.Google Scholar
  9. 9.
    Sergio Segura, Robert M. Hierons, David Benavides, and Antonio Ruiz-Cortés. Automated metamorphic testing on the analyses of feature models. Information and Software Technology, 53(3):245–258, 2011.CrossRefGoogle Scholar
  10. 10.
    D. Batory, D. Benavides, and A. Ruiz-Cortés. Automated analysis of feature models: Challenges ahead. Communications of the ACM, 49(12):45–47, December 2006.CrossRefGoogle Scholar
  11. 11.
    P. Trinidad and A. Ruiz-Cortés. Abductive reasoning and automated analysis of feature models: How are they connected? In 3rd. International Workshop VAMOS’09, pages 145–153, Sevilla, Spain, Jan 2009. ICB Research Report N. 29.Google Scholar
  12. 12.
    P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, and M. Toro. Automated error analysis for the agilization of feature modeling. Journal of Systems and Software, 81(6):883–896, 2008.CrossRefGoogle Scholar
  13. 13.
    J. White, D. Benavides, D.C. Schmidt, P. Trinidad, B. Dougherty, and A. Ruiz-Cortes. Automated diagnosis of feature model configurations. Journal of Systems and Software, 83(7):1094–1107, 2010.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Pablo Trinidad
    • 1
    Email author
  • Antonio Ruiz-Cortés
    • 1
  • David Benavides
    • 1
  1. 1.University of SevilleSevilleSpain

Personalised recommendations