Confluence in domain-independent product line transformations

Abstract

Flexible models for product line variability allow representing variability within any kind of domain-specific model. We show how complex variabilities represented by one variability modelling approach are implemented by general, domain-independent model transformations. We analyse the confluence and consistency characteristics of these transformations, show when multiple variabilities may be in conflict, and define the criteria for confluence of multiple variability transformations.