Chapter

Advanced Information Systems Engineering

Volume 3520 of the series Lecture Notes in Computer Science pp 491-503

Automated Reasoning on Feature Models

  • David BenavidesAffiliated withDpto. de Lenguajes y Sistemas Informáticos, University of Seville
  • , Pablo TrinidadAffiliated withDpto. de Lenguajes y Sistemas Informáticos, University of Seville
  • , Antonio Ruiz-CortésAffiliated withDpto. de Lenguajes y Sistemas Informáticos, University of Seville

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra–functional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We take into account functional and extra–functional features, improve current proposals and present a running, yet feasible implementation.