Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison–Wesley, 2001.
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.
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.
Microsoft Academic Research. Automating reasoning of feature models references. http://goo.gl/Yj5iL, 2012.
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.
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.
P. Trinidad. Automating the Analysis of Stateful Feature Models. PhD thesis, University of Seville, http://www.lsi.us.es/~trinidad, 2012.
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.
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.
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.
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.
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.
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.
Acknowledgements
This work has been partially supported by the European Commission (FEDER) and Spanish Government (TIN2009-07366) and by the Andalusian Government (TIC-5906).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Trinidad, P., Ruiz-Cortés, A., Benavides, D. (2013). Automated Analysis of Stateful Feature Models. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., Sølvberg, A. (eds) Seminal Contributions to Information Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36926-1_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-36926-1_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36925-4
Online ISBN: 978-3-642-36926-1
eBook Packages: Computer ScienceComputer Science (R0)