Trustworthy Systems

Features, modularity, and variation points


Don Batory, Peter Hoefner, Bernhard Möller and Andreas Zelend

University of Texas at Austin



Universitaet Augsburg


A feature interaction algebra (FIA) is an abstract model of features, feature interactions, and their compositions. A structured document algebra (SDA) defines modules with variation points and how such modules compose. We present both FIA and SDA in this paper, and homomorphisms that relate FIA expressions to SDA expressions. This leads to mathematically precise formalizations of fundamental concepts used in software product lines, which can be used for improved FOSD tooling and teaching material.

BibTeX Entry

    address          = {Indianapolis, Indiana, USA},
    author           = {Batory, Don and H\"ofner, Peter and M\"oller, Bernhard and Zelend, Andreas},
    booktitle        = {Fifth International Workshop on Feature-Oriented Software Development (FOSD)},
    month            = oct,
    pages            = {8},
    paperurl         = {},
    publisher        = {ACM},
    title            = {Features, Modularity, and Variation Points},
    year             = {2013}