A Theory of Software Product Line Refinement

Borba, Paulo; Teixeira, Leopoldo; Gheyi, Rohit

doi:10.1007/978-3-642-14808-8_2

Cited by 36 publications

(74 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Borba et al [48] build on the idea of automatic generation of products from assets by relying on feature diagrams and configuration knowledge (CK) [3]. A CK relates features to assets specifying that assets implement possible feature combinations.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Traceability Analyses between Features and Assets in Software Product Lines

Narwane

Galindo

Krishna

et al. 2016

Entropy

View full text Add to dashboard Cite

Abstract:In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between specifications and their implementations, leading to the definition of products. While it appears to be a simple extension of the traceability relation between components and features, it involves several subtle issues that were overlooked in the existing literature. In this paper, we have introduced a precise and formal definition of implementability over a fairly expressive traceability relation. The consequent definition of products in the given SPL naturally entails a set of useful analysis problems that are either refinements of known problems or are completely novel. We also propose a new approach to solve these analysis problems by encoding them as Quantified Boolean Formulae (QBF) and solving them through Quantified Satisfiability (QSAT) solvers. QBF can represent more complex analysis operations, which cannot be represented by using propositional formulae. The methodology scales much better than the SAT-based solutions hinted in the literature and were demonstrated through a tool called SPLAnE (SPL Analysis Engine) on a large set of SPL models.

show abstract

Section: Related Workmentioning

confidence: 99%

“…A CK relates features to assets specifying that assets implement possible feature combinations. The reference [48] lays theoretical foundations on refining and evolving SPLs. The notion of traceability in [48] is general; however, unlike the reference [48], the focus of our paper is on the implementability of SPLs.…”

Section: Related Workmentioning

confidence: 99%

Traceability Analyses between Features and Assets in Software Product Lines

Narwane

Galindo

Krishna

et al. 2016

Entropy

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

“…4. Specifically, we show that merge-in produces minimal behavior-preserving product line refinements [2], that is, the input product models are the only ones which can be derived from the refactored product line model (Theorem 1).…”

Section: Correctness Of Product Line Refactoringmentioning

confidence: 99%

“…A general theory of product line refinement was introduced in [2] where the authors established product line properties supporting stepwise and compositional product line development and evolution. Our approach instantiates this theory by providing a concrete refactoring technique for combining products into product lines.…”

Section: Related Workmentioning

confidence: 99%

Combining Related Products into Product Lines

Rubin

Chećhik

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We address the problem of refactoring existing, closely related products into product line representations. Our approach is based on comparing and matching artifacts of these existing products and merging those deemed similar while explicating those that vary. Our work focuses on formal specification of a product line refactoring operator called merge-in that puts individual products together into product lines. We state sufficient conditions of model compare, match and merge operators that allow application of merge-in. Based on these, we formally prove correctness of the merge-in operator. We also demonstrate its operation on a small but realistic example.

show abstract

A Theory of Software Product Line Refinement

Cited by 36 publications

References 23 publications

Traceability Analyses between Features and Assets in Software Product Lines

Traceability Analyses between Features and Assets in Software Product Lines

Migrating Automotive Product Lines: A Case Study

Combining Related Products into Product Lines

Contact Info

Product

Resources

About