You are here

Adding configuration to the choice calculus

TitleAdding configuration to the choice calculus
Publication TypeConference Paper
Year of Publication2013
AuthorsErwig, M., K. Ostermann, T. Rendel, and E. Walkingshaw
Conference NameProceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13
Date Published01/2013
PublisherACM Press
Conference LocationPisa, Italy
ISBN Number9781450315418

The choice calculus, a formal language for representing variation in software artifacts, features syntactic forms to map dimensions of variability to local choices between source code variants. However, the process of selecting alternatives from dimensions was relegated to an external operation. The lack of a syntactic form for selection precludes many interesting variation and reuse patterns, such as nested product lines, and theoretical results, such as a syntactic description of the configuration process.

In this paper we add a selection operation to the choice calculus and illustrate how that increases the expressiveness of the calculus. We investigate some alternative semantics of this operation and study their impact and utility. Specifically, we will examine selection in the context of static and dynamically scoped dimension declarations, as a well as a linear and comprehensive form of dimension elimination. We also present a design for a type system to ensure configuration safety and modularity of nested product lines.