Ponencia
Fama: Tooling a Framework for the Automated Analysis of Feature Models
Autor/es | Benavides Cuevas, David Felipe
Segura Rueda, Sergio Trinidad Martín Arroyo, Pablo Ruiz Cortés, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2007 |
Fecha de depósito | 2015-06-29 |
Resumen | The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, after years of research only a few ad-hoc ... The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, after years of research only a few ad-hoc proposals have been presented in such area and the tool support demanded by the SPL community is still insufficient. in previous work we showed how the selection of a logic representation and a solver to handle analysis on feature models can have a remarkable impact in the performance of the analysis process. in this paper we present a first implementation of FAMA (FeAture Model Analyser). FAMA is a framework for the automated analysis of feature models integrating some of the most commonly used logic representations and solvers proposed in the literature. To the best of our knowledge, FAMA is the first tool integrating different solvers for the automated analyses of feature models. |
Agencias financiadoras | Ministerio de Ciencia y Tecnología (MCYT). España |
Identificador del proyecto | TIC2003-02737-C02-01 |
Cita | Benavides Cuevas, D.F., Segura Rueda, S., Trinidad Martín Arroyo, P. y Ruiz Cortés, A. (2007). Fama: Tooling a Framework for the Automated Analysis of Feature Models. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 215.5Kb | [PDF] | Ver/ | |