Proceedings First International Workshop on Logics for Component Configuration

TL;DR

This workshop volume presents research on logic-based methods for specifying and solving complex software component configuration problems, addressing challenges in selecting and deploying components in large repositories.

Contribution

It compiles diverse approaches using constraint logic programming, description logics, and satisfiability techniques for component configuration, fostering collaboration among researchers and practitioners.

Findings

Enhanced logic-based models for component configuration

Application of satisfiability techniques to real-world systems

Integration of multiple formal methods for better configuration solutions

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.