Ph.D. dissertation
Variability modeling: Formal methods to represent Software Product Lines

General information

University: Complutense University of Madrid
Faculty: Faculty of Informatics
Department: Information Systems and Computing

Author: Carlos Camacho
Supervisors: Dr. Luis Llana Díaz and Dr. Alberto Núñez Covarrubias
Year: 2017


The software development paradigm focused on product lines (SPLs) allows developers both to model systems based on product components and to study their commonality and variability. This paradigm dates to late 80's and, since then, several contributions have been made for modeling relationships between components. Initially, these relationships were defined in a graphical way, serving as a basis for decision making purposes in several design phases of the development cycle. However, in order to detect design errors in early phases of the development cycle, it is necessary to use different formalism's that allow automated analysis over the SPLs.


The main goal of this Ph.D. thesis is to define novel formal methods, to represent SPLs, by using models that lack of formal representations. Once these models are defined, we aim to generate information for:

  1. Determining whether a model generates valid products.
  2. Establishing differences between valid products.
  3. Comparing if a product is better than another given its production cost.
  4. Finding the most frequent feature among all the valid products to efficiently assign resources when tests are performed.


The articles presented for this Ph.D. dissertation are the following:

  1. C. Andres, C. Camacho y L. Llana. A formal framework for software product lines. Information and Software Technology 55 (11) (2013) 1925–1947. doi:10.1016/j.infsof.2013.05.005.
    • JCR Ranking 2013: 31/105.
    • Quartile: Q2.
    • Impact index: 1,328.
    • In: Computer Science, Software Engineering.
  2. C. Camacho, L. Llana y A. Núñez. Cost-related interface for software product lines. Journal of Logical and Algebraic Methods in Programming 85 (2016) 227–244. doi:10.1016/j.jlamp.2015.09.009.
    • JCR Ranking 2015: 5/22.
    • Quartile: Q1.
    • Impact index: 0,636.
    • In: Logic.
  3. C. Camacho, L. Llana, A. Núñez y M. Núñez. Probabilistic software product lines. Journal of Logical and Algebraic Methods in Programming (2019). doi:10.1016/j.jlamp.2019.05.007.
    • JCR Ranking 2019:
    • Quartile:
    • Impact index:
    • In: Logic.