Automated Analysis of Stateful Feature Models
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.
KeywordsFeature Model Automate Analysis Constraint Programming Software Product Line Analysis Operation
This work has been partially supported by the European Commission (FEDER) and Spanish Government (TIN2009-07366) and by the Andalusian Government (TIC-5906).
- 1.P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison–Wesley, 2001.Google Scholar
- 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.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.Microsoft Academic Research. Automating reasoning of feature models references. http://goo.gl/Yj5iL, 2012.
- 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.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.P. Trinidad. Automating the Analysis of Stateful Feature Models. PhD thesis, University of Seville, http://www.lsi.us.es/~trinidad, 2012.
- 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
- 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