Lifting Transformational Models of Product Lines: A Case Study

  • Authors:
  • Greg Freeman;Don Batory;Greg Lavender

  • Affiliations:
  • Dept. of Electrical and Computer Engineering, University of Texas at Austin, Austin, U.S.A. 78712;Dept. of Computer Sciences, University of Texas at Austin, Austin, U.S.A. 78712;Dept. of Computer Sciences, University of Texas at Austin, Austin, U.S.A. 78712

  • Venue:
  • ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Model driven development (MDD) of software product lines (SPLs)merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transforming models, and SPLs elaborate programs by applying transformations called features. In this paper, we present the design and implementation of a transformational model of a product line of scalar vector graphics and JavaScript applications. We explain how we simplified our implementation by lifting selected features and their compositions from our original product line (whose implementations were complex) to features and their compositions of another product line (whose specifications were simple). We used operators to map higher-level features and their compositions to their lower-level counterparts. Doing so exposed commuting relationships among feature compositions in both product lines that helped validate our model and implementation.