Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

Abstract

Abstract. In 2011, simple and concise axioms for feature compositions, interactions and products have been proposed by Batory et al. They were mainly inspired by Kästner's Colored IDE (CIDE) as well as by experience in feature oriented programming over the last decades. However, so far only axioms were proposed; consequences of these axioms such as variability in models have not been studied. In this paper we discuss the proposed axioms from a theoretical point of view, which yields a much better understanding of the proposed algebra and therefore of feature oriented programming. For example, we show that the axioms characterising feature composition are isomorphic to set-theoretic models.

Features, modularity, and variation points

“…However, the analysis of that set of axioms in [13] showed that they seem to admit only very tricky and not very intuitive mathematical models, contrary to the axiom set in the present paper. We have since discovered that adding axioms A + A = 0 and A # A = A (self-interaction is idempotent) to FIA are also consistent.…”