Comparing Approaches to Implement Feature Model Composition

Acher, Mathieu; Collet, Philippe; Lahire, Philippe; France, Robert

doi:10.1007/978-3-642-13595-8_3

Cited by 49 publications

(57 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…reasoning, customizability, traceability and composability capacities, as well as quality of the resulting feature diagram (Section 5). We show that existing works [6,8,26] and our past attempts [15,25] can benefit from the new proposed techniques when reasoning, synthesizing feature diagrams, aligning FMs or simply devising new composition-based operators. As a result, the contributions of this paper are:…”

Section: Introductionmentioning

confidence: 89%

“…Then the composition operator is denoted (or translated) in the Boolean logic. If we consider the case of union (see the first illustrative example), the denotational operator roughly corresponds to a disjunction of formulae (details have been given in [25]). Similar denotations can be applied for computing the intersection, diff, reduced product, etc.…”

Section: Denotational-based Composition (Logic-based)mentioning

confidence: 99%

“…defining abstraction layers, reflecting organizational structure with specific stakeholders [22], supporting collaborative design [23] or multi-level staged configurations [24]. Separation of these views also means that some relations and compositions must be done at some point to reason over the whole SPL, with references, constraints [25], a reduced form of composite model, and even in a semi-automatic way to synthesize an integrated model [11,15].…”

Section: Introductionmentioning

confidence: 99%

“…-the survey of four possible variant implementations of such compositionbased operators including two new realizations in comparison with previous work [15,25]. -a reading framework to help on selecting the right composition according to their respective qualities.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Composing Your Compositions of Variability Models

Acher

Combemale

Collet

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Modeling and managing variability is a key activity in a growing number of software engineering contexts. Support for composing variability models is arising in many engineering scenarios, for instance, when several subsystems or modeling artifacts, each coming with their own variability and possibly developed by different stakeholders, should be combined together. In this paper, we consider the problem of composing feature models (FMs), a widely used formalism for representing and reasoning about a set of variability choices. We show that several composition operators can actually be defined, depending on both matching/merging strategies and semantic properties expected in the composed FM. We present four alternative forms and their implementations. We discuss their relative trade-offs w.r.t. reasoning, customizability, traceability, composability and quality of the resulting feature diagram. We summarize these findings in a reading grid which is validated by revisiting some relevant existing works. Our contribution should assist developers in choosing and implementing the right composition operators.

show abstract

Section: Introductionmentioning

confidence: 89%

Section: Denotational-based Composition (Logic-based)mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Composing Your Compositions of Variability Models

Acher

Combemale

Collet

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The combination of product lines and model transformations has been extensively studied from the perspective of using transformations for configuring and refining product lines [10,15,17,11], and merging products and feature models [3,9,26], A theory of product line refinement along with a classification of commonly used refinement approaches is presented in [7]. Transformation lifting di↵ers from these works because it is about adapting existing product-level transformations to the level of entire product lines, as opposed to creating transformations specifically for product lines.…”

Section: Related Workmentioning

confidence: 99%

Migrating Automotive Product Lines: A Case Study

Famelis

Levi

Selim

et al. 2015

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

Abstract. Software Product Lines (SPL) are widely used to manage variability in the automotive industry. In a rapidly changing industrial environment, model transformations are necessary to aid in automating the evolution of SPLs. However, existing transformation technologies are not well-suited to handling industrial-grade variability in software artifacts. We present a case study where we "lift" a previously developed migration transformation so that it becomes applicable to realistic industrial product lines. Our experience indicates that it is both feasible and scalable to lift transformations for industrial SPLs.

show abstract

On Two Characterizations of Feature Models

Damiani

Lienhardt

Paolini

2020

Theoretical Aspects of Computing – ICTAC 2020

View full text Add to dashboard Cite

Software-intensive systems can have thousands of interdependent configuration options across different subsystems. Feature models allow designers to organize the configuration space by describing configuration options using interdependent features: a feature is a name representing some functionality and each software variant is identified by set of features. Different representations of feature models have been proposed in the literature. In this paper we focus on the propositional representation (which works well in practice) and the extensional representation (which has been recently shown well suited for theoretical investigations). We provide an algebraic and a propositional characterization of novel and existing feature model operations and relations, and we formalize the connection between the two characterizations as monomorphisms from lattices of propositional feature models to lattices of extensional features models. These results shed new light on the correspondence between the extensional and the propositional representations of feature models. Thus paving the way towards facilitating practical exploitation, by relying on the propositional representation, of theoretical developments expressed by relying on the extensional representation.

show abstract

Comparing Approaches to Implement Feature Model Composition

Cited by 49 publications

References 24 publications

Composing Your Compositions of Variability Models

Composing Your Compositions of Variability Models

Migrating Automotive Product Lines: A Case Study

On Two Characterizations of Feature Models

Contact Info

Product

Resources

About