Managing decision model constraints in product line engineering
Software product line variability is described and documented in decision models. Typically decisions within a decision model may depend on each other. Dependencies between decisions are constraints. The constraints within a decision model are a key to understand the variability of a product line as a whole and the possibilities of a product line for extensibility and evolution. Creation, maintenance, analysis and calculations of constraint systems are open issues in the area of software product line. This thesis addresses these issues paying special attention to the relation between variability in the product line scope and in the work products on the one hand, and on the constraint propagation during resolution on the other hand. The thesis applies predicate logic on current product line concepts expecting as a result models that satisfy current needs and thus address open issues in product line engineering. So the claim of this thesis is that models formulated in predicate logic are well-suited for the product line context and realizations of such model increase manageability of variability. In this thesis, predicate logic will first be applied to the product line scope and to generic work products, since these are the concepts most closely related to decision models. Using these formalizations as a frame, a formal decision model will be evolved step by step. This will then be practically evaluated to validate the practical value of the results.
Kaiserslautern, TU, Dipl.-Arb., 2004