Resumen de Modelando la variabilidad: métodos formales para la representación de líneas de productos software
Carlos Delfin Camacho González
- español
El desarrollo de aplicaciones software basado en líneas de productos (SPLs) permite a los desarrolladores modelar sistemas en función de la relación entre sus componentes. Así, es posible estudiar la variabilidad y características comunes entre ellos. Este paradigma de desarrollo se remonta a finales de los años 80. Desde entonces, se han realizado numerosos aportes sobre las distintas maneras de modelar las relaciones entre sus componentes. Inicialmente, estas relaciones fueron definidas de forma gráfica, sirviendo como soporte para la toma de decisiones en las fases iniciales del diseño de los productos. Sin embargo, para detectar errores de diseño en fases tempranas del proceso de desarrollo, es necesario poder realizar comprobaciones automáticas sobre estos modelos.
El objetivo principal de esta tesis doctoral es definir nuevos métodos formales para la representación de SPLs, teniendo en cuenta aquellos modelos que carezcan de formalismos matemáticos para su representación. Una vez definidos, se generará información que permita:
i) Determinar si un modelo genera productos válidos; ii) Establecer diferencias entre distintos productos válidos; iii) Comprobar si un producto es mejor que otro en función de su coste de producción; iv) Detectar aquellos componentes más utilizado entre los distintos productos válidos, y así asignar de manera eficiente recursos al realizar pruebas unitarias.
El contenido de esta disertación y todos sus soportes, se encuentran disponibles en la siguiente URL: http://ccamacho.github.io/phd/
- English
The software development paradigm focused on product lines(SPLs) allows developers to model systems based on product components and to studytheir commonality and variability. This paradigm dates to late 80's and, since then, severalcontributions have been made for modeling relationships between components [7]. Initially,these relationships were de ned in a graphical way, serving as a basis for decision makingpurposes in several design phases of the development cycle. In order to detect design errorsin early phases of the development cycle, it is necessary to use formal methods allowingautomated analysis over the SPLs. Thus, in this thesis we propose to de ne formal methodsfor modeling SPLs, which allows
