Strategies for Aligning Variability Model and Architecture

We have recently developed a tool-supported approach for the transitioning from implicit to explicit variability management of existing software products. Such an approach requires the definition of a variability model that is then linked to the existing product architecture to document how the variability is realized in the architecture. As the existing architecture has typically not been developed with variability in mind, different inconsistencies can occur when linking the variability model to the architecture. In this paper we classify the different inconsistencies, show how they can be detected, and propose different refactoring strategies to support the systematic alignment of variability model and architecture. As a proof-of-concept, the identified strategies have been applied in a first case study of introducing explicit variability management in our own architecture toolkit.