Features, modularity, and variation points

Authors:
Don Batory;Peter Höfner;Bernhard Möller;Andreas Zelend
Affiliations:
University of Texas at Austin;NICTA, Australia and University of New South Wales, Australia;Universität Augsburg, Germany;Universität Augsburg, Germany
Venue:
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Year:
2013

Citing 20
Cited 0

The design and implementation of hierarchical software systems with reusable components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Scalable software libraries

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Composing features and resolving interactions

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
A disciplined approach to aspect composition

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Traits: A mechanism for fine-grained reuse

ACM Transactions on Programming Languages and Systems (TOPLAS)
Feature oriented refactoring of legacy applications

Proceedings of the 28th international conference on Software engineering
An Algebra for Features and Feature Composition

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
The Objects and Arrows of Computational Design

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On the modularity of feature interactions

GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
FEATUREHOUSE: Language-independent, automated software composition

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
An algebraic foundation for automatic feature-based program synthesis

Science of Computer Programming
Delta-oriented programming of software product lines

SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature interactions, products, and composition

Proceedings of the 10th ACM international conference on Generative programming and component engineering
Product lines of theorems

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Scalable Prediction of Non-functional Properties in Software Product Lines

SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Mapping features to models: a template approach based on superimposed variants

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Effective Software Maintenance and Evolution: A Reuse-Based Approach

Effective Software Maintenance and Evolution: A Reuse-Based Approach
Predicting performance via automated feature-interaction detection

Proceedings of the 34th International Conference on Software Engineering
A calculus for modeling and implementing variation

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 expressions to SDA expressions. This leads to mathematically precise formalizations of fundamental concepts used in software product lines, which can be used for improved FOSD tooling and teaching material.