Trustworthy Systems

Foundations of coloring algebra with consequences for feature-oriented programming


Peter Hoefner, Bernhard Möller and Andreas Zelend



Universitaet Augsburg


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.

BibTeX Entry

    address          = {Cambridge, UK},
    author           = {H\"ofner, Peter and M\"oller, Bernhard and Zelend, Andreas},
    booktitle        = {International Conference on Relational and Algebraic Methods in Computer Science},
    month            = sep,
    pages            = {16},
    paperurl         = {},
    title            = {Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming},
    year             = {2012}