EDOS tool chain for the formal management of software dependencies
Last modified by Arkub on 2007/08/20 23:37
EDOS tool chain for the formal management of software dependencies
Results
Publications
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. Accepted for publication at the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE06). The presentation slides of the talk given at ASE06 are available here: ase06.talk.pdf
- Maintaining large software distributions: new challenges from the FOSS era, presented at FRCSS06.
- News from the EDOS project: improving the maintenance of free software distributions, presented at WSL06. The presentation slides are available, as well as the video of the presentation.
- EDOS deliverables
Software
See EDOS ToolsWeb services
- Ara Advanced Debian package search engine
- Anla Historical metadata exploration utility with installability checks
- EDOS Console AJAX-based command-line interface for querying the day-to-day evolution of the Debian packages using the EDOS-designed Debian Query Language.
Related work
- Search heuristics and optimisations to solve package installability problems by constraint programming Heuristics and experiments using the Oz framework to solve dependency problems and optimize total size or freshness.
- Modeling and Resolving Software Dependencies
Research & development
Topics
- Overview contains an overview of the goals of the workpackage, with a tentative planning.
- The Glossary is where we agree on the meaning of terms like "package" and "distribution".
- Complexity of the installation and distribution checking problems.
- New metadata model for package description
- Cafarnaom contains a selection of links and informations related to package management collected on the web.
- Survey of the state of the art A rough list of package management software with a focus on the existence and capacity of their dependency logics and solvers.
Analysis and measurements
- Current Analysis
- Analysis of the Debian Pool: October 20, 2005
- Kernel sets of packages
- Temperature
- Measurements done using the SQL database.
Engineering notes
- Historical data sources
- Database structure for Debian metadata
- LA14 human-computable simple hash function for unit names
- Notes on Debian version numbers
- Filesystem-based historical database for package metadata
- Considerations for a historical database
Support for level 1 analysis
- Debian provides pages like this one to describe packages that "disappear" from a distribution for various reasons.
Minutes
- Minutes of the first WP2 meeting, held in PPS on January 14th are now available. Please feel free to improve this preliminary version by any means.
- Minutes of the second WP2 meeting, held in PPS on February 28th are now available. Please feel free to improve this preliminary version by any means.
- Minutes of a brainstorming session between Ralf and Roberto in March contain some ideas we are working on
- Minutes of the third WP2 meeting, held at Mandriva location in Paris on July 7th.
- Minutes of the fourth WP2 meeting, held at Paris 7 location in Paris on November 29th, 2005.
- Interesting APT errors
Interesting external links
- The Debian popularity contest gives interesting statistics.
- Debian Doc contains some links to documentation about Debian packaging
- Uludag is a Linux distribution developed by the Turkish Institute for Scientific Research. It includes a new XML-based package metadata format and relevant tools (which are written in Python).
- Britney is the set of scripts used by Debian to produce stable releases.
- A book from the Sardes INRIA team references the EDOS work.
- An exam from Ecole Polytechnique based on package dependency management.