Trustworthy Systems

Structured document algebra in action


Don Batory, Peter Hoefner, Dominik Köppl and Bernhard Möller

University of Texas at Austin



TU Dortmund

Universitaet Augsburg


A Structured Document Algebra (SDA) defines modules with variation points and how such modules compose. The basic operations are module addition and replacement. Repeated addition can create nested module structures. SDA also allows the decomposition of mod- ules into smaller parts. In this paper we show how SDA modules can be used to deal algebraically with Software Product Lines (SPLs). In particular, we treat some fundamental concepts of SPLs, such as refine- ment and refactoring. This leads to mathematically precise formalisation of fundamental concepts used in SPLs, which can be used for improved Feature-Oriented Software Development (FOSD) tooling.

BibTeX Entry

    author           = {Batory, Don and H\"ofner, Peter and K\"oppl, Dominik and M\"oller, Bernhard},
    doi              = {10.1007/978-3-319-15545-6_19},
    journal          = {Lecture Notes in Computer Science},
    month            = mar,
    pages            = {291--311},
    paperurl         = {},
    title            = {Structured Document Algebra in Action},
    volume           = {8950},
    year             = {2015}