An algebraic foundation for automatic feature-based program synthesis

  • Authors:

  • Sven Apel;Christian Lengauer;Bernhard Möller;Christian Kästner

  • Affiliations:

  • Department of Informatics and Mathematics, University of Passau, Germany;Department of Informatics and Mathematics, University of Passau, Germany;Institute of Computer Science, University of Augsburg, Germany;School of Computer Science, University of Magdeburg, Germany

  • Venue:
  • Science of Computer Programming
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along different lines of research, different notions of a feature have been developed. Although these notions have similar goals, no common basis for evaluation, comparison, and integration exists. We present a feature algebra that captures the key ideas of feature orientation and that provides a common ground for current and future research in this field, on which also alternative options can be explored. Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming.