Trustworthy Systems

Extended feature algebra


Peter Hoefner and Bernhard Möller



Universitaet Augsburg


Feature Algebra was introduced as an abstract framework for feature-oriented software development. One goal is to provide a common, clearly defined basis for the key ideas of feature orientation. So far, Feature Algebra captures major aspects of feature orientation, such as the hierarchical structure of features and feature composition. However, as we will show, it is not able to model aspects at the level of code, i.e., situations where code fragments of different features, have to be merged. In other words, it does not reflect details of concrete implementations. In this paper we first present concrete models for the original axioms of Feature Algebra which represent the main concepts of feature-oriented programs. This shows that the abstract Feature Algebra can be interpreted in different ways. We then use these models to show that the axioms of Feature Algebra do not reflect all aspects of feature orientation properly. This gives the motivation to extend the abstract algebra—which is the second main contribution of the paper. We modify the axioms and introduce the concept of an Extended Feature Algebra. As third contribution, we introduce more operators to cover concepts like overriding in the abstract setting.

BibTeX Entry

    author           = {H\"ofner, Peter and M\"oller, Bernhard},
    doi              = {10.1016/j.jlamp.2015.12.002},
    journal          = {Journal of Logical and Algebraic Methods in Programming},
    month            = jun,
    number           = {5},
    pages            = {952--971},
    paperurl         = {},
    title            = {Extended Feature Algebra},
    volume           = {85},
    year             = {2016}