Foundations of coloring algebra with consequences for feature-oriented programming
- 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.
Author: | Peter HöfnerGND, Bernhard MöllerGND, Andreas Zelend |
---|---|
URN: | urn:nbn:de:bvb:384-opus4-21157 |
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/2115 |
Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2012-06) |
Publisher: | Institut für Informatik, Universität Augsburg |
Place of publication: | Augsburg |
Type: | Report |
Language: | English |
Publishing Institution: | Universität Augsburg |
Release Date: | 2012/11/06 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme | |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Licence (German): | Deutsches Urheberrecht |