Expression de la variabilité dans un ADL

Défense de mémoire - Thierry SIKO

Résumé

Les Software Product Lines (SPL) permettent de développer plusieurs produits logiciels à partir d'un ensemble commun d'artefacts réutilisables, la gestion de la variabilité étant centrale pour définir les différences entre produits. Les langages de description d'architecture (ADL) existants ne prennent toutefois pas en compte la variabilité de manière native, ce qui limite leur utilisation dans le contexte des SPL. Ce mémoire propose VarADL, un ADL intégrant explicitement la variabilité architecturale et technologique au sein d'une architecture de référence, au moyen de points de variation, de variantes et de contraintes de cohérence. Un solveur SAT valide automatiquement les configurations avant de dériver des architectures produits et des prototypes exécutables. L'approche a été évaluée à l'aide du prototype VarADL Studio, sur deux cas d'étude indépendants (commerce électronique et contrôle d'accès de bâtiment), démontrant la capacité à représenter la variabilité, valider des configurations et générer automatiquement des architectures produits cohérentes à partir d'une architecture de référence unique. Les résultats montrent que l'approche améliore la cohérence des architectures produites, favorise la réutilisation architecturale et automatise une partie de la configuration au sein des SPL.

Mots-clés : variabilité, architecture logicielle, langage de description d'architecture, ligne de produits logiciels, solveur SAT, VarADL.

Abstract

Software Product Lines (SPLs) enable the development of multiple software products from a shared set of reusable assets, with variability management playing a central role in defining differences between products. However, most existing Architecture Description Languages (ADLs) do not natively support variability, limiting their applicability in SPL contexts. This thesis proposes VarADL, an ADL that explicitly integrates architectural and technological variability within a reference architecture, through variation points, variants, and consistency constraints. A SAT solver automatically validates configurations before deriving product architectures and executable prototypes. The approach was evaluated using the VarADL Studio prototype on two independent case studies (an e-commerce platform and a building access control system), demonstrating the ability to represent variability, validate configurations, and automatically generate consistent product architectures from a single reference architecture. The results show that the approach improves the consistency of generated architectures, promotes architectural reuse, and automates part of the configuration process within SPLs.

Keywords: variability, software architecture, architecture description language, software product lines, SAT solver, VarADL.

Contact : Sara Medugno - sara.medugno@unamur.be
Télecharger : vCal