Proceedings First International Workshop on Logics for Component Configuration

Abstract : This volume contains the papers presented at the first international workshop on Logics for Component Configuration (LoCoCo 2010) which was associated with the International Conference on Theory and Applications of Satisfiability Testing (SAT 2010) as part of the Federated Logic Conference (FLoC 2010), and which took place on July 10, 2010 in Edinburgh, UK. Modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary flexibility when organizing a complex software distribution, but also are a challenge when it comes to selecting components from a large repository of possible choices, and configuring these components according to user needs, resource constraints, and interdependencies with other components. Representing and solving configuration problems is a hot topic of great importance for many application domains. Some well-known examples of complex systems of components are Free and Open Source software distributions like GNU/Linux, or Eclipse plugins. The LoCoCo workshop has a focus on logic-based methods for specifying and solving complex configuration problems for software components. The goal was to bring together both researchers and practitioners active in the area of component configuration of software systems, using different modeling and solving techniques, such as constraint and logic programing, description logics, satisfiability and its extensions.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Inês Lynce and Ralf Treinen. Workshop on Logics for Component Configuration, Jul 2010, Edinburgh, United Kingdom. 29, Electronic Proceedings in Theoretical Computer Science, pp.1--53, 2010, 2075-2180. 〈10.4204/EPTCS.29〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00524780
Contributeur : Ralf Treinen <>
Soumis le : vendredi 8 octobre 2010 - 17:12:12
Dernière modification le : jeudi 11 janvier 2018 - 06:17:47

Lien texte intégral

Identifiants

Collections

PPS | USPC

Citation

Inês Lynce, Ralf Treinen. Proceedings First International Workshop on Logics for Component Configuration. Inês Lynce and Ralf Treinen. Workshop on Logics for Component Configuration, Jul 2010, Edinburgh, United Kingdom. 29, Electronic Proceedings in Theoretical Computer Science, pp.1--53, 2010, 2075-2180. 〈10.4204/EPTCS.29〉. 〈inria-00524780〉

Partager

Métriques

Consultations de la notice

344