Published on Tue Oct 20 2009

How to Complete an Interactive Configuration Process?

Mikolas Janota, Goetz Botterweck, Radu Grigore, Joao Marques-Silva

When configuring software, it is useful to provide interactive tool-support. When is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence.

0
0
0
Abstract

When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application.

Fri May 06 2016
Artificial Intelligence
The KB paradigm and its application to interactive configuration
The knowledge base paradigm aims to express domain knowledge in a rich formal language. It uses this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain. The paradigm applies a strict separation of concerns between information and problem solving.
0
0
0
Fri Jun 07 2019
Machine Learning
Learning Software Configuration Spaces: A Systematic Literature Review
Most modern software systems (operating systems like Linux or Android, Web browsers like Firefox or Chrome, video encoders like ffmpeg, x264 or VLC) are highly-configurable. Hundreds of options, features, or plugins can be combined, each potentially with distinct functionality and effects.
0
0
0
Wed Apr 11 2007
Artificial Intelligence
Calculating Valid Domains for BDD-Based Interactive Configuration
The formalization is largely based on the CLab configuration framework. In these notes we formally describe the functionality of Calculating Valid Domains from the BDD.
0
0
0
Mon Aug 29 2011
Artificial Intelligence
FdConfig: A Constraint-Based Interactive Product Configurator
We present a constraint-based approach to interactive product configuration. FdConfig is based on feature models for the representation of the product domain. We discuss the configuration process, explain the underlying techniques and show optimizations.
0
0
0
Thu Nov 02 2017
Machine Learning
Ocasta: Clustering Configuration Settings For Error Recovery
Ocasta treats applications as black-boxes and relies on the ability to observe application accesses to their configuration settings. Ocasta is able to correctly identify clusters of configuration settings with 88.6% accuracy. It is more efficient than manual configuration troubleshooting.
0
0
0
Thu Sep 01 2011
Artificial Intelligence
(Re)configuration based on model generation
Reconfiguration is an important activity for companies selling configurable products or services. Identifying a set of required changes in a legacy configuration is a hard problem. In this paper we show a solution based on answer set programming.
0
0
0