Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

Select |




Print


Höfner, Peter; Möller, Bernhard; Zelend, Andreas

Höfner, Peter; Möller, Bernhard; Zelend, Andreas


2012-09-17


Conference Material


13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13)


Cambridge, UK


16


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.


http://www.cl.cam.ac.uk/conference/ramics13/


nicta:5917


Höfner, Peter; Möller, Bernhard; Zelend, Andreas. Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. In: 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13); Cambridge, UK. 2012-09-17. 16.



Loading citation data...

Citation counts
(Requires subscription to view)