• Publications
  • Influence
Generative programming - methods, tools and applications
TLDR
This chapter discusses Domain Engineering and Object-Oriented Analysis and Design, and main development steps in Generative Programming, as well as Static versus Dynamic Parameterization, and a Fresh Look at Polymorphism. Expand
Feature-based survey of model transformation approaches
TLDR
A framework for the classification of several existing and proposed model transformation approaches is proposed, given as a feature model that makes explicit the different design choices for model transformations. Expand
Formalizing cardinality-based feature models and their specialization
TLDR
It is argued that cardinality-based feature models can be interpreted as a special class of context-free grammars, and a semantic interpretation is provided by assigning an appropriate semantics to the language recognized by the corresponding grammar. Expand
Classification of Model Transformation Approaches
TLDR
A possible taxonomy for the classification of several existing and proposed model transformation approaches is proposed, described with a feature model that makes the different design choices for model transformations explicit. Expand
Staged configuration through specialization and multilevel configuration of feature models
TLDR
This article proposes a cardinality-based notation for feature modeling, which integrates a number of existing extensions of previous approaches, and introduces and motivate the novel concept of staged configuration. Expand
Mapping features to models: a template approach based on superimposed variants
TLDR
This paper proposes a general template-based approach for mapping feature models to concise representations of variability in different kinds of other models and shows how it can be applied to UML 2.0 activity and class models. Expand
Staged Configuration Using Feature Models
TLDR
This paper proposes a cardinality-based notation for feature modeling, which integrates a number of existing extensions of previous approaches, and introduces and motivate the novel concept of staged configuration. Expand
Feature Diagrams and Logics: There and Back Again
TLDR
This paper gives an automatic and efficient procedure for computing a feature model from a formula and characterize a class of logical formulas equivalent to feature models and identify logical structures corresponding to their syntactic elements. Expand
Verifying feature-based model templates against well-formedness OCL constraints
TLDR
An automated verification procedure for ensuring that no ill-structured template instance will be generated from a correct configuration, and its practical feasibility through a prototype implementation is presented. Expand
SAT-based analysis of feature models is easy
TLDR
Unlike with the general SAT instances, which fall into easy and hard classes, the instances induced by feature modeling are easy throughout the spectrum of realistic models. Expand
...
1
2
3
4
5
...