Modelando la variabilidad. Métodos formales para la representación de líneas de productos software

Abstract

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 [7]. 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 y realizar comparaciones sobre los productos construidos,surge la necesidad de procesar y analizar automaticamente estos modelos. Por ello,en esta tesis se propone la definición de métodos formales para modelar SPLs, permitiendo automatizar su análisis y procesamiento...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 to automatize its processing and analysis...