Aligning component upgrades

Abstract : Modern software systems, like GNU/Linux distributions or Eclipse-based development environment, are often deployed by selecting components out of large component repositories. Maintaining such software systems by performing component upgrades is a complex task, and the users need to have an expressive preferences language at their disposal to specify the kind of upgrades they are interested in. Recent research has shown that it is possible to develop solvers that handle preferences expressed as a combination of a few basic criteria used in the MISC competition, ranging from the number of new components to the freshness of the final configuration. In this work we introduce a set of new criteria that allow the users to specify their preferences for solutions with components aligned to the same upstream sources, provide an efficient encoding and report on the experimental results that prove that optimising these alignment criteria is a tractable problem in practice.
Type de document :
Communication dans un congrès
Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-11, 2011, <10.4204/EPTCS.65.1>


https://hal.archives-ouvertes.fr/hal-00622830
Contributeur : Roberto Di Cosmo <>
Soumis le : mercredi 20 mars 2013 - 10:23:48
Dernière modification le : mardi 11 octobre 2016 - 13:55:40

Fichier

criteria.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

I3S | PPS | UNICE | USPC

Citation

Roberto Di Cosmo, Olivier Lhomme, Claude Michel. Aligning component upgrades. Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-11, 2011, <10.4204/EPTCS.65.1>. <hal-00622830>

Partager

Métriques

Consultations de
la notice

177

Téléchargements du document

82