A calculus for modeling and implementing variation

Walkingshaw, Eric; Erwig, Martin

doi:10.1145/2371401.2371421

Cited by 14 publications

(13 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we briefly present and differentiate compositional and annotative approaches for the implementation of features [14][15] [16] [27]. To clarify our concepts, throughout this paper we employ a stack product line as a running example, which has been used similarly in related research [14] …”

Section: Current Approaches To Separate Featuresmentioning

confidence: 99%

See 1 more Smart Citation

Separating features using colored snippet graphs

Behringer

Kirsch

Rothkugel

2014

Proceedings of the 6th International Workshop on Feature-Oriented Software Development

View full text Add to dashboard Cite

In feature-oriented software product lines, two complementary approaches to implement features exist: compositional and annotative ones. To combine the respective advantages, a unified representation of the two on the file-system level is desirable, yet unavailable. We pick up this demand and propose a novel concept for separating features using colored snippet graphs instead of directories and files. In particular, our proposed ideas are based on snippets, ASTs and coloring, and enable the implementation of product lines with both compositional and annotative views on real documents. As a basis for future tools, we provide a conceptual overview of our approach, discuss our ideas for leveraging snippets, and demonstrate applicability using an example scenario.

show abstract

Section: Current Approaches To Separate Featuresmentioning

confidence: 99%

“…There are two common approaches to implement features: compositional and annotative ones [14][15] [16] [27]. While in the former approach features are separated physically using composition units [2], in the latter features are assigned virtually by annotations that are scattered across the program code [15].…”

Section: Introductionmentioning

confidence: 99%

Separating features using colored snippet graphs

Behringer

Kirsch

Rothkugel

2014

Proceedings of the 6th International Workshop on Feature-Oriented Software Development

View full text Add to dashboard Cite

show abstract

“…The Choice Calculus (CC) [23] offers an interesting and alternative approach to our work. Among the goals of CC are to integrate classical and virtual modularity, but to do so in the context of a formal programming language.…”

Section: Related Workmentioning

confidence: 99%

Features, modularity, and variation points

Batory

Höfner

Möller

et al. 2013

Proceedings of the 5th International Workshop on Feature-Oriented Software Development

View full text Add to dashboard Cite

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 expresssions to SDA expressions. Doing so separates fundamental concepts of Software Product Lines (SPLs) that have previously been conflated and misunderstood. Our work also justifies observations and relationships that have been used in prior work on feature-based SPLs.

show abstract

“…This DSL separates variation representation and transformation into two distinct levels, which limits its scope. Therefore, we have also developed a generalization of the choice calculus that includes computational features [9] that can arbitrarily mix and nest choice annotations and transformations.…”

Section: Status Of Effortmentioning

confidence: 99%

“…The scope of the DSEL is limited by the fact that it separates variation representation and transformation into two levels. To address this limitation, we have also developed a generalization of the choice calculus that includes computational features so that choice annotations and transformations can be arbitrarily mixed and nested [9].…”

Section: Variation Programmingmentioning

confidence: 99%

A Theory of Structured Change

Erwig¹

2012

Self Cite

View full text Add to dashboard Cite

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden to Department of Defense, Washington Headquarters Services, Directorate for Information A This project has developed a theoretical framework for describing and reasoning about changes in software. The theory provides a basis for the implementation of tools to support software maintenance tasks in the presence of changes. Specific contributions include the choice calculus, a formalism for representing variation and changes in structured documents. The choice calculus offers laws and transformation rules that make variation representations flexible. A design theory for the choice calculus has been developed for the systematic elimination of redundancies or dead variants. Another focus of this project has been the development of methods for effectively checking properties of variational software, which has led to the design of variational type systems and new unification algorithms. The practical work with variational software is supported through a user study that has demonstrated that the dimension-structured choice constructs of the choice calculus help users reason about variational code faster and more accurately and ultimately support code understanding better than traditional CPP annotations. Finally, a domain-specific language (DSL) has been developed which makes it possible to write programs to query, manipulate, and analyze variation structures. 19Erwig, Martin (541) 737-8893

show abstract

A calculus for modeling and implementing variation

Cited by 14 publications

References 13 publications

Separating features using colored snippet graphs

Separating features using colored snippet graphs

Features, modularity, and variation points

A Theory of Structured Change

Contact Info

Product

Resources

About