Aligning component upgrades

Roberto Di Cosmo
(Univ Paris Diderot, Sorbonne Paris Cite, Laboratoire PPS, UMR 7126, and INRIA Rocquencourt, F-75205 Paris France)
Olivier Lhomme
(IBM France, 1681, route des Dolines, 06560 Sophia Antipolis, France)
Claude Michel
(I3S (UNS-CNRS), 2000 route des Lucioles, BP 121, 06903 Sophia Antipolis Cedex, France)

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.

In Conrad Drescher, Ines Lynce and Ralf Treinen: Proceedings Second Workshop on Logics for Component Configuration (LoCoCo 2011), Perugia, Italy, 12th September 2011, Electronic Proceedings in Theoretical Computer Science 65, pp. 1–11.
Published: 30th August 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.65.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org