Lococo 2011 - Workshop on Logics for Component Configuration

September 12, 2011, Perugia, Italy
International Conference on Principles and Practice of Constraint Programming (CP 2011)

Scope

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.

Understanding and solving these questions is an attractive research topic since, on the one hand, the problems to be solved are complex and interesting for researchers working on solving techniques. On the other hand, research in this area has the potential of high impact on the way how the systems that we all use every day are developed, deployed, and maintained.

Not only adequate logical formalisms to represent a configuration problem are required, but also sophisticated reasoning technologies to deal with large amounts of data. Further relevant aspects include diagnosis of failed configuration settings and an intelligent behavior dealing with user preferences.

This workshop will focus on logic-based methods for specifying and solving complex configuration problems. The goal of the workshop is 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 will be an opportunity to discuss common and complementary solutions for solving component configuration.

Topics

Main areas of interest include, but are not restricted to:

Programme

9:15-9:30
Opening
9:30-10:30
Daniel Le Berre: Software dependency management: from p2 to p2cudf (invited talk).

Abstract: Since June 2008, the Eclipse open platform is using a pseudo-boolean based dependency manager to manage its plugins, in a tool called p2. We will review in this talk the initial design of the tool, and how it evolved over the years. p2 was later on extended to experiment with Linux software dependency management in a tool called p2cudf. We will detail the major differences between the two tools and how each one helps in the improvement of the other one.

10:30-11:00
-- Coffee Break --
11:00-11:30
Roberto Di Cosmo, Olivier Lhomme and Claude Michel: Aligned component upgrades
11:30-12:00
Martin Gebser, Roland Kaminski and Torsten Schaub: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
12:00-12:30
Gerhard Friedrich, Anna Ryabokon, Andreas Falkner, Alois Haselboeck, Gottfried Schenner and Herwig Schreiner: (Re)configuration using Answer Set Programming
12:30-13:00
Markus Aschinger, Conrad Drescher and Georg Gottlob: Introducing LoCo, a Logic for Configuration Problems
13:00-14:00
-- Lunch --
14:00-14:30
Fabien Dagnat, Gwendal Simon and Xu Zhang: Toward decentralized package management
14:30-15:00
Cyrille Valentin Artho, Kuniyasu Suzaki, Stefano Zacchiroli and Roberto Di Cosmo: Sources of Inter-package Conflicts in Debian
15:00-15:30
Announcement of the results of MISC 2011
15:30
-- Coffee and end of the workshop --

Proceedings

The full research papers presented at the workshop have been published as number 65 of Electronic Proceedings in Theoretical Computer Science.

Program Committee

Previous Workshops

[Back to the LoCoCo home page/a>]
Last change: April 13, 2012