2015 | OriginalPaper | Buchkapitel
Structured Document Algebra in Action
Autoren: Don Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
Verlag: Springer International Publishing
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 modules 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 refinement and refactoring. This leads to mathematically precise formalization of fundamental concepts used in SPLs, which can be used for improved
Feature-Oriented Software Development
(FOSD) tooling.
