A theory of software product line refinement

  • Authors:
  • Paulo Borba;Leopoldo Teixeira;Rohit Gheyi

  • Affiliations:
  • Informatics Center, Federal University of Pernambuco, Department of Computing Systems, Federal University of Campina Grande;Informatics Center, Federal University of Pernambuco, Department of Computing Systems, Federal University of Campina Grande;Informatics Center, Federal University of Pernambuco, Department of Computing Systems, Federal University of Campina Grande

  • Venue:
  • ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

To safely derive and evolve a software product line, it is important to have a notion of product line refactoring and its underlying refinement notion, which assures behavior preservation. In this paper we present a general theory of product line refinement by extending a previous formalization with explicit interfaces between our theory and the different languages that can be used to create product line artifacts. More important, we establish product line refinement properties that justify stepwise and compositional product line development and evolution.