Skip to main content

TS

Structured document algebra in action

Authors

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

University of Texas at Austin

NICTA

UNSW

TU Dortmund

Universitaet Augsburg

Abstract

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

  @article{Batory_HKM_15,
    doi              = {10.1007/978-3-319-15545-6_19},
    journal          = {Lecture Notes in Computer Science - Festschrifts - Springer},
    author           = {Batory, Don and Höfner, Peter and Köppl, Dominik and Möller, Bernhard},
    month            = mar,
    volume           = {8950},
    year             = {2015},
    title            = {Structured Document Algebra in Action},
    pages            = {291-311}
  }

Download