On Software Component Co-Installability (extended version) - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2011

On Software Component Co-Installability (extended version)

Jérôme Vouillon
  • Function : Author
  • PersonId : 830580
Roberto Di Cosmo


Modern software systems are built by composing components drawn from large repositories, whose size and complexity is increasing at a very fast pace. A fundamental challenge for the maintainability and the scalability of such software systems is the ability to quickly identify the components that can or cannot be installed together: this is the co-installability problem, which is related to boolean satisfiability and is known to be algorithmically hard. This paper develops a novel theoretical framework, based on formally certified. semantic preserving graph-theoretic transformations, that allows to associate to each concrete component repository a much smaller one with a simpler structure, but with equivalent co-installability properties. This smaller repository can be represented graphically, giving a concise view of the co-installability issues in the original repository, or used as a basis for various algorithms related to co-installability, like the efficient computation of strong conflicts between components. The proofs contained in this work have been machine checked in Coq.
Fichier principal
Vignette du fichier
main.pdf (489.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00605491 , version 1 (01-07-2011)


  • HAL Id : hal-00605491 , version 1


Jérôme Vouillon, Roberto Di Cosmo. On Software Component Co-Installability (extended version). 2011. ⟨hal-00605491⟩
217 View
55 Download


Gmail Facebook X LinkedIn More