EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies

Large software systems are prevalently built in a modular way: different parts of the system are put together in a consistent way, forming a whole which is the final, usable system. This practice is often referred to as Component Based Software Engineering (CBSE). Currently, the most widespread component type, in the F/OSS world, is the package. This is due to the fact the mainstream operating system distribution (i.e., Linux based operating system, BSD, etc.) use the abstraction of package to denote an installable software unit, i.e. a component, that contributes to extend the system itself. We will detail the characteristics of those kinds of components, and in particular we will focus on the issues related to their composition. We examine the state of the art and the currently provided solutions to the component handling and assembling, highlighting the pros and cons of each solution. Finally we propose a set of metadata which can further describe the component and help the automated assembling.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00697463
Author Di Cosmo, Roberto
Maintainer CCSD
Last Updated May 18, 2026, 20:27 (UTC)
Created May 18, 2026, 20:27 (UTC)
Identifier hal-00697463
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
creator Di Cosmo, Roberto
date 2005-09-29T00:00:00
harvest_object_id 838e6f38-6c7b-43ad-bb23-42a811ea6384
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2023-03-24T00:00:00
relation info:eu-repo/grantAgreement//27003/EU/Environment for the Development and Distribution of Open Source Software/EDOS
set_spec type:REPORT