arXiv:1108.6097v1 [cs.LO] 30 Aug 2011
|
DOI:
10.4204/EPTCS.65 ISSN: 2075-2180 |
| Preface | |
| Aligning component upgrades Roberto Di Cosmo, Olivier Lhomme and Claude Michel | 1 |
| aspcud: A Linux Package Configuration Tool Based on Answer Set Programming Martin Gebser, Roland Kaminski and Torsten Schaub | 12 |
| (Re)configuration based on model generation Gerhard Friedrich, Anna Ryabokon, Andreas Falkner A, Alois Haselböck, Gottfried Schenner and Herwig Schreiner | 26 |
| Introducing LoCo, a Logic for Configuration Problems Markus Aschinger, Conrad Drescher and Georg Gottlob | 36 |
This volume contains the four papers presented at the second international workshop on Logics for Component Configuration (LoCoCo 2011) which was associated with the International Conference on Principles and Practice of Constraint Programming (CP 2011), and which took place on September 12, 2011 in Perugia, Italy.
Representing and solving configuration problems is a hot topic of great importance for many application domains. For example, 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. Some well-known examples of complex systems of components in the world of Free and Open Source software are the different distributions for GNU/Linux, BSD, or Eclipse plugins. The LoCoCo workshop focus on logic-based methods for specifying and solving complex configuration problems. The goal of the workshop was to bring together both researchers and practitioners active in the area of component configuration of systems, using different modeling and solving techniques, such as constraint and logic programming, description logics, satisfiability and its extensions. The workshop was an opportunity to discuss common and complementary solutions for solving component configuration.
The workshop featured, besides the four regular talks included in this volume, an invited talk by Daniel Le Berre (Université d’Artois) on Software dependency management: from p2 to p2cudf. Furthermore, the European Research project Managing the Complexity of the Open Source Software Infrastructure (Mancoosi) has organized the second Mancoosi International Solver Competition of tools for solving component upgrade problem (MISC 2011) in the weeks preceding the workshop, the results of which were presented at the workshop.
We wish to express our gratitude to our invited speaker Daniel Le Berre, the authors of the contributed papers, the members of the program committee, and the local organization team of CP 2011 for their contributions and support. Without them, the workshop could not have seen the light of the day. Finally, we would like to thank EPTCS, and in particular Rob van Glabbeek, for their help and for providing the opportunity to make these proceedings freely available to the research community.
| Conrad Drescher, Inês Lynce and Ralf Treinen |
| Oxford, Lisbon and Paris, August 2011 |
LoCoCo 2011 Program Committee