How to Complete an Interactive Configuration Process?
Software Engineering
2009-10-21 v1 Artificial Intelligence
Logic in Computer Science
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.
Cite
@article{arxiv.0910.3913,
title = {How to Complete an Interactive Configuration Process?},
author = {Mikolas Janota and Goetz Botterweck and Radu Grigore and Joao Marques-Silva},
journal= {arXiv preprint arXiv:0910.3913},
year = {2009}
}
Comments
to appear in SOFSEM 2010