Publication: Modelando la variabilidad. Métodos formales para la representación de líneas de productos software
Loading...
Files
Official URL
Full text at PDC
Publication Date
2018-10-24
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Complutense de Madrid
Citations
Exportar
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...
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...
Description
Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 20-06-2017