A Machine-Checked Model of Safe Composition

Download Now Free registration required

Executive Summary

Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combinations of features are meaningful; feature models express the high-level domain constraints that govern feature compatibility. Product line developers also face the problem of safe composition - whether every product allowed by a feature model is type-safe when compiled and run. To study the problem of safe composition, the authors present Lightweight Feature Java (LFJ), an extension of Lightweight Java with support for features.

  • Format: PDF
  • Size: 226.4 KB