Skip to Main content Skip to Navigation
Theses

Processus flexible de configuration pour lignes de produits logiciels complexes

Abstract : The necessity of producing high quality softwares and the specific software market needs raise new approaches such as Software Product Lines (SPL). However in order to satisfy the growing requirements of new information systems, we need to consider those systems as a composition of many interconnected sub-systems called systems-of-systems. As a SPL, it implies to support the modularity and the large variability of such systems, from the definition of sub-systems to their composition, ensuring the consistency of final systems. To support design and usage of such a complex SPL, we propose a new approach based on (i) the definition of a SPL domain model, (ii) the formalization of variability using feature models (FM) and (iii) the representation of dependencies between those different FM. In order to manage the complexity of this SPL we complete our approach by in one hand algorithms ensuring the consistency of the SPL and on the other hand the definition of a configuration process which guarantees the consistency of products without imposing order in user choices and authorizing to cancel any choice. This thesis presents a formalization of these works and demonstrates the expected properties of those SPL, like the control of the product line consistency with incremental algorithms exploiting the domain model topology, the formal definition and the proof of the configuration process flexibility, and the consistency concepts of the process itself. On these basis, we propose a first implementation and we validate our works on a SPL dedicated to an industrial scale system-of-systems for producing digital signage systems.
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01134191
Contributor : Abes Star :  Contact
Submitted on : Tuesday, May 26, 2015 - 12:47:09 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:28 PM
Document(s) archivé(s) le : Tuesday, September 15, 2015 - 6:53:26 AM

File

2015NICE4002.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01134191, version 2

Collections

Citation

Simon Urli. Processus flexible de configuration pour lignes de produits logiciels complexes. Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4002⟩. ⟨tel-01134191v2⟩

Share

Metrics

Record views

752

Files downloads

509