Repositorio de producción científica de la Universidad de Sevilla

Automated Analysis of Stateful Feature Models

 

Advanced Search
 
Opened Access Automated Analysis of Stateful Feature Models
Cites

Show item statistics
Icon
Export to
Author: Trinidad Martín Arroyo, Pablo
Ruiz Cortés, Antonio
Benavides Cuevas, David Felipe
Department: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Date: 2013
Published in: Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
ISBN/ISSN: 978-3-642-36925-4
Document type: Chapter of Book
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.
Cite: Trinidad Martín Arroyo, P., Ruiz Cortés, A., y Benavides Cuevas, D.F. (2013). Automated Analysis of Stateful Feature Models. En Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE (pp. 375-380). Berlin: Springer
Size: 282.0Kb
Format: PDF

URI: http://hdl.handle.net/11441/65057

DOI: 10.1007/978-3-642-36926-1_30

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)