Automated Analysis of Stateful Feature Models
Pablo Trinidad, Antonio Ruiz–Cortés, David Benavides · 2013
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. 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.