Composing configurable Java components

TL;DR: Techniques to reason about the composition of configurable components and to derive consistent compositions are presented and the abstract component model for Java components (packages) is instantiate.

Abstract: This paper presents techniques to reason about the composition of configurable components and to automatically derive consistent compositions The reasoning is achieved by describing components in a formal component description language, that allows the description of component variability, dependencies and configuration actions It also enables the automatic, configuration-driven, derivation of product instances To illustrate the approach we instantiate the abstract component model for Java components (packages)